2493 search results - page 455 / 499 » Tool Support for Design by Contract |
104
click to vote
IJBRA
2007
14 years 9 months ago
2007
: In this paper we explore issues in the development of the my Grid ontology, which is an OWL ontology designed to support service discovery through service annotation. There are c...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Dynamic software updates (DSU) are one of the top-most features requested by developers and users. As a result, DSU is already standard in many dynamic programming languages. But,...
106
click to vote
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
The knowledge required to develop complex software has historically existed in programming folklore, the heads of experienced developers, or buried deep in the code. These locatio...
INDIASE
2009
ACM
15 years 4 months ago
2009
ACM
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...