795 search results - page 59 / 159 » A Formal Approach to Heterogeneous Software Modeling |
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
109
click to vote
SIGSAND
2008
15 years 1 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
118
Voted
EDOC
2008
IEEE
15 years 2 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
84
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
104
click to vote
ISOLA
2007
Springer
15 years 6 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...