Principles for modeling language design

Information and Software Technology

Volumn 42, Issue 10, 2000, Pages 665-675

  Paige, R F ^a   Ostroff, J S ^a   Brooke, P J ^b  

^a YORK UNIVERSITY   (Canada)

^b CESG   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

MODELING LANGUAGES;

COMPUTER SIMULATION LANGUAGES;

EID: 0034229809     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00109-9     Document Type: Article

References (37)

1. Abrial J.-R. The B-Book. 1996;Cambridge University Press, Cambridge.
2. Brooks F. The Mythical Man Month. 1995;Addison-Wesley, Reading, MA.
3. Crow J., Owre S., Rushby J., Shankar N., Srivas M. A Tutorial Introduction to PVS. Proc. WIFT'95. 1995;IEEE Press, New York.
4. Evans A., France R., Lano K., Rumpe B. The UML as a formal modeling notation. Computer Standards and Interfaces. 19:(7):1998;325-334.
5. Fowler M. Analysis Patterns. 1996;Addison-Wesley, Reading, MA.
6. Graham I. Requirements Engineering and Rapid Development. 1998;Addison-Wesley, Reading, MA.
7. T.R. Green, M. Petre, When visual programs are harder to read than textual programs, in: G. van der Veer, M. Tauber, S. Bagnarola, M. Antavolits (Eds.), Human-Computer Interaction: Tasks and Organisation. Proceedings of ECCE6 (6th European Conference on Cognitive Ergonomics) CUD, 1992.
8. T.R. Green, R. Navarro, Programming plans, imagery and visual programming, in: Proceedings of INTERACT'95, 1995.
9. Hamie A., Civello F., Howse J., Kent S., Mitchell R. Reflections on the Object Constraint Language. Proc. UML'98. 1998;Springer, Berlin.
10. Hehner E.C.R. A Practical Theory of Programming. 1993;Springer, Berlin.
11. Hoare C.A.R. Hints on Programming Language Design. Proc. ACM Principles of Programming Languages 1973. 1973;ACM Press, New York.
12. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall International, UK.
13. Jackson M. Software Requirements and Specifications. 1995;Addison-Wesley, New York.
14. S. Kent, J. Howse, Mixing visual and textual constraint languages, Proc. UML'99, LNCS 1723, Springer, Berlin (1999) 384-398.
15. Leveson N., Heimdahl M.P., Hildreth H., Reese J.D. Requirements specification for process-control systems. IEEE Transactions on Software Engineering. 20:(9):1994;684-707.
16. MetaPHOR Project Group, MetaPHOR: Metamodeling, Principles, Hypertext, Objects and Repositories. Technical Report TR-7, University of Jyvaskyla, 1994.
17. Meyer B. Eiffelthe Language. 1992;Prentice-Hall, Englewood Cliffs, NJ.
18. Meyer B. UML: the positive spin. American Programmer. March:1997.
19. Meyer B. Object-Oriented Software Construction. 2nd ed. 1997;Prentice-Hall, Englewood Cliffs, NJ.
20. Milner R. Communication and Concurrency. 1989;Prentice Hall, Englewood Cliffs, NJ.
21. R. Paige, A meta-method for formal method integration, in: Proc. Formal Methods Europe, LNCS 1313, 1997.
22. Paige R. When are methods complementary? Informations and Software Technology. 41:(3):1999;157-162.
23. Paige R., Ostroff J. A comparison of the Business Object Notation and the Unified Modeling Language. Proc. Second International Conference on the Unified Modeling Language (UML'99), LNCS 1723. 1999;Springer, Berlin.
24. Petre M., Blackwell A., Green T. Cognitive questions in software visualisation. Stasko J., Domingue J., Price B., Brown M., Software Visualisation: Programming as a Multi-Media Experience. 1997;MIT Press, Cambridge, MA.
25. Petre M. Why looking isn't always seeing: readership skills and graphical programming. Communications of the ACM. 38:(6):1995;33-44.
26. Quatrani T. Visual Modeling with Rational Rose 2000 and UML. 1999;Addison-Wesley, New York.
27. Robinson P.J. Hierarchical Object-Oriented Design. 1992;Prentice-Hall, Englewood Cliffs, NJ.
28. Rumbaugh J., Jacobson I., Booch G. The Unified Modeling Language Reference Manual. 1999;Addison-Wesley, New York.
29. A. Simons, I. Graham, 37 Things that don't work in object-oriented modeling with UML, in: Proc. ECOOP'98 Workshop on Precise Behavioral Semantics, TU-Munich Report 19813, 1998.
30. Simpson H.R., Jackson K. Process Synchronization in MASCOT. Computer Journal. 22:(4):1979;332-345.
31. Spivey J.M. Z Reference Manual. 1989;Prentice-Hall, Englewood Cliffs, NJ.
32. G. Steele, Growing a language, Invited talk at OOPSLA'98.
33. Stroustrup B. The Design and Evolution of C++. 1994;Addison-Wesley, New York.
34. Toyn I., McDermid J. CADiZ: an architecture for Z tools and its implementation. Software-Practice and Experience. 25:(3):1995;305-330.
35. Walden K., Nerson J.-M. Seamless Object-Oriented Software Architecture. 1995;Prentice-Hall, Englewoodcliff, NJ.
36. Warmer K., Kleppe A. The Object Constraint Language. 1999;Addison-Wesley, New York.
37. Wirth N. On the Design of Programming Languages. IFIP World Congress 1974. 1974;North-Holland, Amsterdam.