1137 search results - page 6 / 228 » Disciplined Methods of Software Specification: A Case Study |
AMAST
1997
Springer
13 years 10 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
IFM
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
SWS
2005
ACM
14 years 17 days ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
FDL
2003
IEEE
14 years 9 days ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...