The property vector specification of a multiset iterator
- 1 January 1992
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 235-245
- https://doi.org/10.1109/icse.1992.753503
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A specifier's introduction to formal methodsComputer, 1990
- Cecil: a sequencing constraint language for automatic static analysis generationIEEE Transactions on Software Engineering, 1990
- Specification of iteratorsIEEE Transactions on Software Engineering, 1990
- The trace specification of communications protocolsIEEE Transactions on Computers, 1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- A Formal Method for the Abstract Specification of SoftwareJournal of the ACM, 1984
- From State Machines to Temporal Logic: Specification Methods for Protocol StandardsIEEE Transactions on Communications, 1982
- Alphard: Form and ContentPublished by Springer Nature ,1981
- Notes on Type Abstraction (Version 2)IEEE Transactions on Software Engineering, 1980
- The algebraic specification of abstract data typesActa Informatica, 1978