Sciweavers

4451 search results - page 383 / 891
» Continuous model synthesis
Sort
View
CAISE
2000
Springer
15 years 11 months ago
Gossip: An Awareness Engine for Increasing Product Awareness in Distributed Development Projects
More and more product development projects involve geographically distributed groups of developers. One problem in such groups is the long term lack of awareness of the activities ...
Babak A. Farshchian
HICSS
1994
IEEE
105views Biometrics» more  HICSS 1994»
15 years 11 months ago
Towards a Design Methodology for Decision Support Systems
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
J. J. Zuurbier, J. N. Brinkkemper, Margriet Offere...
IPMU
1994
Springer
15 years 11 months ago
Philosophical Foundations for Causal Networks
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...
Glenn Shafer
BIRTHDAY
2010
Springer
15 years 8 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
MODELS
2009
Springer
15 years 11 months ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...