1326 search results - page 134 / 266 » Semantic Coherence in Software Engineering |
107
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
126
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
119
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
In Cooper, part of the student support will be provided by a Question Answering application in the form of a webservice. Question Answering allows a user to use the content of proj...
148
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
136
click to vote
COORDINATION
2006
Springer
15 years 7 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...