SPECWARE: An advanced environment for the formal development of complex software systems: Demonstration abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1101, Issue , 1996, Pages 551-554

  Juellig, R ^a   Srinivas, Y ^a   Liu, J ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947931336     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014339     Document Type: Conference Paper

References (6)

1. Li-Mei Gilham and Allen Goldberg and T. C. Wang: Toward Reliable Reactive Systems, in Proceedings of the 5th International Workshop on Software Design. 1989, Pittsburgh,.
2. Lee Blaine and Allen Goldberg: DTRE - A Semi-Automatic Transformation System, in Constructing Programs from Specifications (editor B. Moeller), North-Holland, 1991.
3. Smith, D.R. KIDS - a semi-automatic program development system. IEEE Transactions on Software Engineering 16, 9 (September 1990), 1024-1043.
4. ™: Formal Support for Composing Software, in Proc. of the Conf. on Mathematics of Program Construction, Germany, July 1995.
5. Meseguer, J. General logics. Logic Colloquium'87. H.-D. Ebbinghaus et. al., Eds. North-Holland, 1989, pp.-275-329.
6. Wirsing, M. Structured algebraic specifications: A kernel language. Theoretical Comput. Sci. 42 (1986), 123-249.