211 search results - page 10 / 43 » A Formal Architectural Design Patterns-Based Approach to Sof... |
129
click to vote
ECOOPW
1999
Springer
15 years 7 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 ...
134
click to vote
SOCO
2010
Springer
15 years 1 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...
117
click to vote
SEW
2005
IEEE
15 years 9 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...
162
Voted
SDL
2007
15 years 4 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...
154
Voted
FM
1999
Springer
15 years 7 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...