795 search results - page 83 / 159 » A Formal Approach to Heterogeneous Software Modeling |
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
105
click to vote
COORDINATION
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
106
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
97
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...