VCt - A formal language for the specification of diagrammatic modelling techniques

Information and Software Technology

Volumn 40, Issue 9, 1998, Pages 463-474

  Serrano, J Artur ^a   Welland, Ray ^b  

^a Campus Universitario   (Portugal)

^b UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

EASE tools; Software design methods; Software modelling techniques

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; SET THEORY;

DIAGRAMMATIC MODELLING TECHNIQUES;

FORMAL LANGUAGES;

EID: 0032156451     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0950-5849(98)00081-0     Document Type: Article

References (28)

1. P. Marttiin, K. Lyytinen, M. Rossi et al., Modeling requirements for future CASE: modeling issues and architectural considerations. Information Resources Management Journal 8(1) (1995) 15-25.
2. J.L. Wynekoop, N.L. Russo, System development methodologies: unanswered questions and the research-practice gap, presented at Fourteenth International Conference on Information Systems, Orlando, FL, 1993.
3. D. Budgen, Software Design, Addison-Wesley, Reading MA, 1994.
4. P. Chen, The entity relationship model - toward a unified view of data, ACM Transactions on Database Systems 1(1) (1976).
5. B. Potter, J. Sinclair, D. Till, An Introduction to Formal Specification and Z, Prentice-Hall, Englewood Cliffs, NJ, 1991.
6. J. Woodcock, M. Loomes, Software Engineering Mathematics, Pitman, 1988.
7. J.A. Serrano, Automatic generation of software design tools supporting semantics of modelling techniques. Ph.D. Thesis, University of Glasgow, 1997.
8. A.V. Aho, R. Sethi, J.D. Ullman, 1986. Compilers Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
9. A.T. Schreiner, H.G. Friedman, Jr. Introduction to Compiler Construction with UNIX. Prentice-Hall, Englewood Cliffs, NJ, 1985.
10. B.W. Kernighan, D.M. Ritchie, The C Programming Language, 2nd ed., Prentice-Hall, Englewood cliffs, NJ, 1988.
11. R. Morrison, F. Brown, R. Connor et al., The Napier88 Reference Manual Release 2.0, University of St Andrews, Research Report CS/ 94/8, 1994.
12. B.V. Zanden, B.A. Myers, D. Giuse, P. Szekely, The importance of pointer variables in constraint models, presented at UIST, 1991.
13. A. Burning, The programming language aspects of ThingLab, a constraint-oriented simulation laboratory, ACM Transactions on Programming Languages and Systems 3 (10) (1981) 353-387.
14. J.A. Serrano, The use of semantic constraints on diagram editors, presented at 11th International IEEE Symposium on Visual Languages, VL'95, Darmstadt, Germany, 1995.
15. F. Bott, ECLIPSE an integrated project support environment, in IEE Computing Series, vol. 14, Peter Peregrinus Ltd, London, 1989.
16. R. Weiland, A toolbuilders guide to the ECLIPSE design editing system, University of Strathclyde, Glasgow, Research Report CS/ ST/1/88, 1988.
17. S.J. Beer, Supporting checking in a generic, graphical, software design environment, Ph.D. thesis University of Strathclyde, Glasgow, 1988.
18. S. Hekmatpour, M. Woodman, Formal specification of graphical notations and graphical software tools, presented at 1st European Software Engineering Conference, Strasbourg, France, 1987.
19. R. Cooper, Configurable data modelling systems, presented at 9th Entity Relationship, Lausanne, 1990.
20. A. Alderson, Meta-CASE technology, presented at European Symposium on Software Development Environments and CASE Technology, Konigswinter, Germany, 1991.
21. M. Blaha, Models of models, JOOP 5(5) (1992) 13-18.
22. P. Atzeni, R. Torlone, A metamodel approach for the management of multiple models and the translation of schemes, Information Systems 18 (1993) 349-362.
23. S. Brinkkemper, Integrating diagrams in CASE tools through modelling tranparency, Information and Software Technology 35 (1993) 101-105.
24. B. Nuseibeh, A. Finkelstein, Viewpoints: a vehicle for method and tool integration, presented at International Workshop on CASE (CASE92), Montreal, Canada, 1992.
25. A.H.M. ter Hofstede, H.A. Proper, Th.P. van der Weide, Formal definition of a conceptual language for the description and manipulation of information models, Information Systems 18(7) (1993) 489-523.
26. K. Smolander, K. Lyytinen, V.-P. Tahavanainen et al., MetaEdit - a flexible graphical environment for methodology modelling, presented at Advanced Information Systems Engineering 3rd International Conference CAiSE'91, Trondheim, Norway, 1991.
27. J.-P. Tolvanen, K. Lyytinen, Flexible method adaptation in CASE-the metamodeling approach, Scandinavian Journal of Information Systems 5 (1993) 51-77.
28. S. Kelly, K. Lyytinen, M. Rossi, MetaEdit + a fully configurable multi-user and muti-tool CASE and CAME environment, presented at Advanced Information Systems Engineering 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, 1996.