Sciweavers

643 search results - page 71 / 129
» tools 1998
Sort
View
ICFEM
1998
Springer
14 years 1 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
ICNP
1998
IEEE
14 years 1 months ago
Flow Theory: An Enhancement
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...
Alfio Lombardo, Giacomo Morabito, Sergio Palazzo, ...
VL
1998
IEEE
123views Visual Languages» more  VL 1998»
14 years 1 months ago
A Visual Development Environment for Parallel Applications
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
Philip T. Cox, Hugh Glaser, Stuart Maclean
DAGSTUHL
2006
13 years 11 months ago
Model Development in the UML-based Specification Environment (USE)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Martin Gogolla
ACL
1998
13 years 11 months ago
Building Parallel LTAG for French and Italian
In this paper we view Lexicalized Tree Adjoining Grammars as the compilation of a tract and modular layer of linguistic description :the metagrammar (MG). MG provides a hierarchic...
Marie-Hélène Candito