658 search results - page 48 / 132 » A formal approach to object-oriented software engineering |
148
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
125
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
138
Voted
TSE
1998
15 years 4 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
136
click to vote
REFSQ
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
125
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...