Sciweavers

1360 search results - page 121 / 272
» The SMART Approach for Software Process Engineering
Sort
View
137
Voted
ITICSE
2003
ACM
15 years 8 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
136
Voted
ICSE
1989
IEEE-ACM
15 years 7 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
143
Voted
DICS
2006
15 years 5 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
108
Voted
TACS
1991
Springer
15 years 6 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 8 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