Sciweavers

1360 search results - page 121 / 272
» The SMART Approach for Software Process Engineering
Sort
View
ITICSE
2003
ACM
15 years 11 months ago
Systematic testing should not be a topic in the computer science curriculum!
In this paper we argue that treating “testing” as an isolated topic is a wrong approach in computer science and software engineering teaching. Instead testing should pervade p...
Henrik Bærbak Christensen
ICSE
1989
IEEE-ACM
15 years 10 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry
DICS
2006
15 years 8 months ago
Dependable Software
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
Bertrand Meyer
TACS
1991
Springer
15 years 9 months ago
On Nets, Algebras and Modularity
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
AMAST
2004
Springer
15 years 11 months ago
A Science of Software Design
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
Don S. Batory