Specification, validation, and synthesis of email agent controllers: a case study in function rich reactive system design

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 2000, Pages 13-23

  Hall, Robert J ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; ELECTRONIC MAIL; FINITE AUTOMATA; INTERNET; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; SERVERS; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS;

FORMAL METHODS; INTERACTIVE SPECIFICATION ACQUISITION TOOLS; REACTIVE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0034514169     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (28)