From first-order logic to automated word generation for Lyee

Knowledge-Based Systems

Volumn 16, Issue 7-8, 2003, Pages 413-429

  Amon, Benedict ^a   Ekenberg, Love ^a   Johannesson, Paul ^a   Munguanaze, Marcelo ^a   Njabili, Upendo ^a   Tesha, Rika Manka ^a  

^a STOCKHOLM UNIVERSITY   (Sweden)

Author keywords

Conceptual modelling; Logic; Lyee; Unified modelling language

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; CONSTRAINT THEORY; FEEDBACK; SOFTWARE ENGINEERING; WORD PROCESSING;

WORD GENERATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0242489360     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2003.08.009     Document Type: Article

References (16)

1. Benthem J.V., Bergstra J. Logic of transition systems. Journal of Logic, Language and Information. 3:1995;247-283.
2. Bochmann G.V. Fujita H., Johannesson P. Describing Requirements in Lyee and in Conventional Methods: Towards a Comparison, New Trends in Software Methodologies, Tools and Techniques. 2002;IOS Press.
3. Dupuy S., Ledru Y., Chabre-Peccoud M. Integrating OMT and Object-Z. Evans A. Proceedings of BCS FACS/EROS ROOM Workshop, technical report GR/K67311-2, Department of Computing, Imperial College, 180 Queens Gate, London, UK, June. 1997.
4. L. Ekenberg, P. Johannesson, UML as a Transition Logic, Proceedings of 12th European-Japanese Conference on Information Modelling and Knowledge Bases, 2002.
5. A. Evans, S.Kent, Core Meta-Modelling semantics of UML: The pUML approach, Proceedings of Second IEEE Conference on UML: UML'99, LNVCS, No.1723, pp. 140-155, 1999.
6. France R.B., Bruel J.-M., Larrondo-Petrie M.M., Shroff M. Exploring the semantics of UML type Structures with Z. Proceedings of Second IFIP Conference, Formal Methods for Open Object-Based Distributed Systems9FMOODS'97. 1997;Chapman & Hall, London. pp. 247-260.
7. Kim S.-K., Carrington D. A Formal Mapping between UML Models and Object-Z Specifications, ZB'2000. International Conference of B and Z Users, York, UK, August. 2000;Springer, Berlin.
8. Introduction to Lyee - Easily Understandable for everyone, August 2001.
9. Microsoft, 2002, http://www.microsoft.com.
10. F. Negoro, Intent Operationalisation For Source Code Generation, The Proceeding of SCI 2001 and ISAS 2001, in Orlando, FL, USA, July 2001.
11. Object Management Group (OMG). Unified language specification version 1.4, http://www.uml.org, 2002.
12. Rational RoseWeb Site, 2002, http://www.rational.com
13. Rolland C., User A. Fujita H., Johannesson P. Centric View of Lyee Requirements. New Trends in Software Methodologies, Tools and Techniques. 2002;IOS Press.
14. Development Using Lyee A Case Study With LyeeAll, Technical Report, University Paris 1, C.R.I. October 2001.
15. Tracing the Lyee execution process, Technical Report, University Paris 1, C.R.I. October 2001.
16. Requirements Modeling in Lyee, Technical Report, University Paris 1, C.R.I. October 2001.