211 search results - page 10 / 43 » A Formal Architectural Design Patterns-Based Approach to Sof... |
ECOOPW
1999
Springer
15 years 3 months ago
1999
Springer
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...
SOCO
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
SEW
2005
IEEE
15 years 5 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
119
click to vote
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
117
click to vote
FM
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...