2212 search results - page 145 / 443 » Automated software wrapping |
136
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
138
click to vote
DSML
2008
15 years 5 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
181
click to vote
ISICT
2004
15 years 5 months ago
2004
The IPACS-project (Integrated Performance Analysis of Computer Systems) was founded by the Federal Department of Education, Science, Research and Technology (BMBF) in the program ...
157
click to vote
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
15 years 4 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
108
click to vote
IBMRD
2006
15 years 4 months ago
2006
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...