Formal Specifications in Software Development: an Overview
Vojislav B. Mišić, Dušan M. Velašević (1997)
The Yugoslav Journal of Operations Research
Similarity:
Vojislav B. Mišić, Dušan M. Velašević (1997)
The Yugoslav Journal of Operations Research
Similarity:
Ivan Luković, Maria João Varanda Pereira, Nuno Oliveira, Daniela da Cruz, Pedro Rangel Henriques (2011)
Computer Science and Information Systems
Similarity:
Elisabete Ferreira, Rogério Paulo, Daniela da Cruz, Pedro Henriques (2008)
Computer Science and Information Systems
Similarity:
Laurent Henocque (2004)
RACSAM
Similarity:
Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of difficulty. No universally accepted formal language exists for communicating about OOCPs,...
Dragan Đurić (2004)
Computer Science and Information Systems
Similarity:
Igor Dejanović, Gordana Milosavljević, Branko Perišić, Maja Tumbas (2010)
Computer Science and Information Systems
Similarity:
Nenad Anicic, Nenad Ivezic (2005)
Computer Science and Information Systems
Similarity:
Miro Govedarica, Ivan Luković, Pavle Mogin (2004)
Computer Science and Information Systems
Similarity:
Zestas, Nikos C., Paraschakis, Ioannis G., Styliadis, Athanasios D. (2003)
Acta Universitatis Apulensis. Mathematics - Informatics
Similarity:
Nuno Lopes, Cláudio Fernandes, Salvador Abreu (2008)
Computer Science and Information Systems
Similarity:
Silva Robak, Bogdan Franczyk, Silva Robak (2002)
International Journal of Applied Mathematics and Computer Science
Similarity:
The process of modelling and developing commonality and variability for system families should be supported by suitable methods and notations. The object-oriented methods and their notations, which are used at present, focus on the development of a single system at a time. In this paper we analyse feature models as a representation of the common parts and variants contained in a system family, and propose using a feature diagram as a basic representation of commonality, variability and...
Gérard Milhaud, Élisabeth Godbert (1998)
Mathématiques et Sciences Humaines
Similarity:
We present a system providing a set of tools for developing natural language processing (NLP) applications such as natural language interfaces, communication aid systems, etc. This system is based on two principles: modularity of knowledge representation to ensure the portability of the system, and guided sentence composition to ensure transparency, i.e. to ensure that the produced sentences are well-formed at the lexical, syntactic, semantic and conceptual levels. We first describe...