1121 search results - page 23 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
FM
2009
Springer
15 years 4 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
HASE
1998
IEEE
15 years 1 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
ICWE
2005
Springer
15 years 2 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
SEKE
2009
Springer
15 years 2 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
CAD
2004
Springer
14 years 9 months ago
2004
Springer
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...