5904 search results - page 116 / 1181 » Requirements for a Composition Language |
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
DGO
2008
13 years 11 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
ECOOPW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This report summarizes the results of the workshop on evolution and reuse for language specifications for DSLs. The focus of the workshop was twofold: exploration of the ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
EDOC
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...