2493 search results - page 271 / 499 » Tool Support for Design by Contract |
86
Voted
IEEESCC
2005
IEEE
15 years 4 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
91
Voted
EPEW
2005
Springer
15 years 4 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
ICWL
2003
Springer
15 years 4 months ago
2003
Springer
Creativity is an important asset in today’s fast changing environment. We believe it can and should be stimulated in educational environments, through the use of tools and carefu...
CHI
1995
ACM
15 years 2 months ago
1995
ACM
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
118
Voted
ISSE
2010
14 years 9 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...