2493 search results - page 200 / 499 » Tool Support for Design by Contract |
164
click to vote
IRI
2007
IEEE
16 years 26 days ago
2007
IEEE
We describe a new framework for building a system that consists of tools and services for supporting Cyberinfrastructure based scientific research. This system, called the Semanti...
142
click to vote
ICSM
2005
IEEE
16 years 4 days ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
152
click to vote
WSE
2005
IEEE
16 years 3 days ago
2005
IEEE
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
194
click to vote
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
178
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...