2088 search results - page 62 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
ENTCS
2007
14 years 11 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
108
click to vote
WETICE
2005
IEEE
15 years 5 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
101
click to vote
ENTCS
2007
14 years 11 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
102
click to vote
ICWE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
CAD
2002
Springer
14 years 11 months ago
2002
Springer
Current modelling systems adequately support either modelling of parts or modelling of assemblies, whereas ideal modelling systems should adequately support both. To achieve this,...