1121 search results - page 132 / 225 » Building Formal Requirements Models for Reliable Software |
121
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
146
click to vote
CBSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
166
click to vote
WISES
2003
15 years 5 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
133
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
141
click to vote
WSC
1997
15 years 5 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...