Formal justification in object-oriented modelling: a linguistic approach

Data and Knowledge Engineering

Volumn 33, Issue 1, 2000, Pages 25-47

  Capuchino, A Moreno ^a   Juristo, N ^a   Van De Riet, R P ^b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONFORMAL MAPPING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS; OBJECT ORIENTED PROGRAMMING; SET THEORY; SOFTWARE ENGINEERING;

NATURAL LANGUAGE ANALYSIS; OBJECT ORIENTED CONCEPTUAL MODELS;

COMPUTATIONAL LINGUISTICS;

EID: 0034173997     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(99)00046-4     Document Type: Article

References (30)

1. Abbott R. Program design by Informal English Description. Commun. ACM. 16(11):1983;882-894.
2. Basili V.R., Briand L.C., Malo W.L. How reuse influences productivity in object oriented systems. Commun. ACM. 39(10):1996;104-116.
3. Bergamaschi S., Lodi S., Sartori C. The E/S knowledge representation system. Data & Knowledge Engineering. 14:1994;81-115.
4. C.H. Block, M.R. MacMillan, J.H. Martin, D. Monarchi, A Prototype system for extracting objects and relationships for software specifications, The Journal of Knowledge Engineering Spring (1993) 70-78.
5. Blum B.I. Beyond Programming, To a New Era of Design. 1996;Oxford University Press, New York.
6. Booch G. Object oriented development. IEEE Transactions on Software Engineering. 122:1986;211-221.
7. F. Brooks, No silver bullet: essence and accidents of software engineering, Computer, April (1987) 10-19.
8. J.F.M. Burg, R.P. van de Riet, A Natural Language and Scenariobased Approach to Requirements Engineering, in: Natürlichsprachlicher Entwurf von Informationsystemen (NEI'96), Tutzing, 1996, pp. 219-233.
9. Chen P.P.-S. The entity-relationship model - toward a unified view of data. ACM Transactions on Database Systems. 1(3):1976;9-36.
10. Chen P.P.-S. English sentence structure and entity-relationship diagrams. Information Systems. 29:1983;127-149.
11. P.P.-S. Chen, English, Chenese and ER diagrams, Data and Knowledge Engineering Journal, 23 (1997) 5-16.
12. Dignum F., van de Riet R.P. Knowledge base modelling based on linguistic and founded in logic. Data and Knowledge Engineering Journal. 7(1):1991;1-34.
13. P.J.H. Frederiks, C.H.A. Koster, Th.P. van de Weide, Object oriented analysis using informal language, Technical Report, Computer Science Institute - R9516, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, 1995.
14. M. Fröhlich, R.P. van de Riet, Using multiple ontologies in a framework for natural language generation, in: Proc. Workshop on Applications of Ontologies and Problem-Solving methods, ECAI'98, Brighton, UK, 23-24 August 1998, pp. 67 ff.
15. Jalote P. An Integrated Approach to Software Engineering. 1997;Springer, New York.
16. N. Juristo, A.M. Moreno, A formal approach for generating OO specifications from natural language, International Journal of Systems and Software, November 1999.
17. Kristen G. Object Orientation: The KISS-method. From Information Architecture to Information System. 1994;Addison-Wesley, MA.
18. Leite J.L., Freeman P. Requirements validation through resolution. IEEE Transactions on Software Engineering. 17(12):1991;1253-1269.
19. Martin J., Odell J. Object-Oriented Analysis and Design. 1992;Prentice-Hall, Englewood Cliffs, NJ.
20. A.M. Moreno, Método Formal de Modelización Conceptual para Sistemas Software, Ph.D. Thesis, Universidad Politécnica de Madrid, 1997.
21. Moreno A. Results of the application of a linguistic approach to object-oriented analysis. International Journal of Software Engineering and Knowledge Engineering. 8(4):1998;449-459.
22. M. Northrop, Object-oriented development, Software Engineering, IEEE Computer Society Press, Los Alamitos, 1997, pp. 148-159.
23. Nuseiben B., Kramer J. Expressing the relationships between multiple views in requirements specifications. IEEE Transactions on Software Engineering. 20(10):1994;760-773.
24. Parsons J., Wand I. Choosing classes in conceptual modeling. Commun. ACM. 40(6):1997;63-69.
25. C. Rolland, C. Proix, A natural language approach for requirements engineering process, in: Proceedings of the Fourth International Conference on Advanced Information Systems Engineering, Manchester, 1992, pp. 257-277.
26. Rumbaugh J.et al. Object-Oriented Modeling Technique. 1991;Prentice-Hall, Englewood Cliffs, NJ.
27. M. Saeki, H. Horai, H. Henomoto, Software development process from natural language specification, in: Proceedings of the 11th International Conference on Software Engineering, New York, 1989, pp. 64-73.
28. Shoenfield J.R. Mathematical Logic. 1967;Addison-Wesley, Reading, MA.
29. A.G. Sutcliffe, Object-oriented systems development: survey of structure methods, Software Engineering, IEEE Computer Society Press, Los Alamitos, 1997, pp. 160-169.
30. Wieringa R.J. Requirements Engineering: Frameworks for Understanding. 1996;Wiley, New York.