133 search results - page 2 / 27 » A Formal Object Approach to the Design of ZML |
APAQS
2000
IEEE
13 years 9 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
ASWEC
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
FAC
2002
13 years 4 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...