Formal Specifications in Software Development: an Overview
Vojislav B. Mišić, Dušan M. Velašević (1997)
The Yugoslav Journal of Operations Research
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Visual representation of formal software specification.”
Formal Specifications in Software Development: an Overview
A DSL for PIM Specifications: Design and Attribute Grammar based Implementation
Ivan Luković, Maria João Varanda Pereira, Nuno Oliveira, Daniela da Cruz, Pedro Rangel Henriques (2011)
Computer Science and Information Systems
Similarity:
Integration of the ST Language in a Model-Based Engineering Environment for Control Systems – An Approach for Compiler Implementation
Elisabete Ferreira, Rogério Paulo, Daniela da Cruz, Pedro Henriques (2008)
Computer Science and Information Systems
Similarity:
Z specification of object oriented constraint programs.
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,...
MDA-based Ontology Infrastructure
Dragan Đurić (2004)
Computer Science and Information Systems
Similarity:
A Domain-Specific Language for Defining Static Structure of Database Applications
Igor Dejanović, Gordana Milosavljević, Branko Perišić, Maja Tumbas (2010)
Computer Science and Information Systems
Similarity:
Semantic Web Technologies for Enterprise Application Integration
Nenad Anicic, Nenad Ivezic (2005)
Computer Science and Information Systems
Similarity:
Generating XML Based Specifications of Information Systems
Miro Govedarica, Ivan Luković, Pavle Mogin (2004)
Computer Science and Information Systems
Similarity:
Incorporated dynamical symbols in drawing CAD & spatial (GIS) systems.
Zestas, Nikos C., Paraschakis, Ioannis G., Styliadis, Athanasios D. (2003)
Acta Universitatis Apulensis. Mathematics - Informatics
Similarity:
Representing and Querying Multiple Ontologies with Contextual Logic Programming
Nuno Lopes, Cláudio Fernandes, Salvador Abreu (2008)
Computer Science and Information Systems
Similarity:
Extending the UML for modelling variability for system families
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...
A logic-based environment for developing natural language processing applications
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...