A micromodularity mechanism

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2001, Pages 62-73

  Jackson, Daniel ^a   Shlyakhter, Ilya ^a   Sridharan, Manu ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Alloy language; First order logic; Formal specification; Modeling languages; Relational calculus; Schema calculus; Z specification language

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; SEMANTICS; SPECIFICATIONS;

MICROMODULARITY MECHANISMS;

SOFTWARE ENGINEERING;

EID: 0035783986     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503271.503219     Document Type: Conference Paper

References (18)

1. R. Duke, G. Rose and G. Smith. Object-Z: A Specification Language Advocated for the Description of Standards. SVRC Technical Report 94-45. The Software Verification Research Centre, University of Queensland, Australia.
2. John V. Guttag, James I. Horning, and Andres Modet. Report on the Larch Shared Language: Version 2.3. Technical Report 58, Compaq Systems Research Center, Palo Alto, CA, 1990.
3. Daniel Jackson. Automating first-order relational logic. Proc. ACM SIGSOFT Conf. Foundations of Software Engineering. San Diego, November 2000.
4. Daniel Jackson. Alloy: A Lightweight Object Modelling Notation. To appear, ACM Transactions on Software Engineering and Methodology, October 2001.
5. Daniel Jackson, Ian Schechter and Ilya Shlyakhter. Alcoa: the Alloy Constraint Analyzer. Proc. International Conference on Software Engineering, Limerick, Ireland, June 2000.
6. Daniel Jackson and Jeannette Wing. Lightweight Formal Methods. In: H. Saiedian (ed.), An Invitation to Formal Methods. IEEE Computer, 29(4):16-30, April 1996.
7. Michael Jackson. Software Requirements and Specifications: A Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.
8. Cliff Jones. Systematic Software Development Using VDM. Second edition, Prentice Hall, 1990.
9. Kathleen Jensen and Nicklaus Wirth. Pascal: User Manual and Report. Springer-# Verlag, 1974.
10. K. Rustan M. Leino and Greg Nelson. Data abstraction and information hiding. Research Report 160, Compaq Systems Research Cener, November 2000.
11. Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for the Situation Calculus. Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841, Vol. 3(1998), Nr. 018.
12. Robin Milner, Mads Tofte and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
13. S. Owre, N. Shankar, J.M. Rushby, and D.W.J. Stringer-Calvert. PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
14. J. Michael Spivey, The Z Notation: A Reference Manual. Second edition, Prentice Hall, 1992.
15. Ian Toyn et al. Formal Specification-Z Notation-Syntax, Type and Semantics. Consensus Working Draft 2.6 of the Z Standards Panel BSI Panel IST/5/-/19/2 (Z Notation). August 24, 2000.
16. Jim Woodcock and Jim Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996.
17. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999.
18. Pamela Zave and Michael Jackson. Conjunction as Composition. ACM Transactions on Software Engineering and Methodology II(4): 379-411, October 1993.