Exploring the design of an intentional naming scheme with an automatic constraint analyzer

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 13-22

  Khurshid, S ^a   Jackson, D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR NAVIGATION; SEMANTICS;

AUTOMATIC ANALYSIS; AUTOMATIC SIMULATION; DYNAMIC NETWORKED ENVIRONMENTS; FORMAL MODEL; NAMING SYSTEMS; RESOURCE DISCOVERY;

SOFTWARE ENGINEERING;

EID: 77950854224     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873646     Document Type: Conference Paper

References (17)

1. th ACM SOSP, Kiawah Island, SC. Dec. 1999.
2. Sten Agerhold, and Peter Gorm Larsen. The IFAD VDM Tools: Lightweight Formal Methods. FM-Trends 1998: 326-329.
3. R.J. Bayardo Jr., and R. C. Schrag. Using CSP look-back techniques to solve real world SAT instances. Proc. 14th National Conf. on Artificial Intelligence, 203-208, 1997.
4. John V. Guttag and James J. Horning. Formal Specification as a Design Tool. Proc. Conf. on Principles of Programming Languages (POPL 80), Las Vegas, Nevada, 1980, pp. 251-261.
5. Gerard J. Holzmann. The Model Checker Spin. IEEE Transactions on Software Engineering, Special issue on Formal Methods in Software Practice, Volume 23, Number 5, May 1997, 279-295.
6. Daniel Jackson. Alloy: A Lightweight Object Modeling Notation. Technical Report 797, MIT Laboratory for Computer Science, Cambridge, MA, February 2000.
7. Daniel Jackson. Automating First-Order Relational Logic. To appear, Proc. Foundations of Software Engineering, San Diego, California, November 2000.
8. Daniel Jackson, Ian Schechter, and Ilya Shlyakhter. Alcoa: The Alloy Constraint Analyzer. Proc. International Conference on Software Engineering, Limerick, Ireland, June 2000.
9. Daniel Jackson, and Kevin Sullivan. COM Revisited: Tool-Assisted Modeling and Analysis of Software Structures. To appear, Proc. Foundations of Software Engineering, San Diego, California, November 2000.
10. Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering, 21 (2): 107-125, February 1995.
11. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley Object Technology Series, 1998.
12. Elliot Schwartz. Design and Implementation of Intentional Names. S.M. Thesis, MIT Laboratory of Computer Science, Cambridge, MA, June 1999.
13. J. Michael Spivey. The Z Notation: A Reference Manual. Second ed, Prentice Hall, 1992.
14. Hantao Zhang. SATO: An Efficient Propositional Prover. Proc. International Conference on Automated Deduction (CADE-97).
15. Daniel Jackson and Jeannette Wing. Lightweight Formal Methods, IEEE Computer, April 1996.
16. Jeanette Wing and Mandana Vaziri-Farahani. A Case Study in Model Checking Software Systems. Technical Report CMU-CS-96-124, Carnegie Mellon University, Pittsburgh, PA.
17. K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. PhD Thesis, Carnegie Mellon University, 1992. CMU-CS-92-131.