2253 search results - page 239 / 451 » An Approach to Specifying Software Frameworks |
169
click to vote
STEP
2003
IEEE
15 years 10 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
147
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
158
Voted
CASCON
2006
15 years 6 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
150
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we face a problem for chemical processes in a production system; items should undergo chemical reactions in different baths to be processed by the system. Recipes f...
109
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...