1137 search results - page 189 / 228 » Disciplined Methods of Software Specification: A Case Study |
AOSD
2003
ACM
14 years 3 months ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
ANSOFT
2002
13 years 10 months ago
2002
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
ECOOP
2006
Springer
14 years 1 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...