16725 search results - page 488 / 3345 » Engineering Software Correctness |
168
click to vote
CASCON
1997
15 years 7 months ago
1997
This paper presents work practice data of the daily activities of software engineers. Four separate studies are presented; one looking longitudinally at an individual SE; two look...
135
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
ion-based Requirements Management Anthony Finkelstein, University College London Leah Goldin, Afeka-Tel Aviv College of Engineering ROA workshop - ICSE 2006 of Abstraction in Softw...
166
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Simulation is frequently used for training in many application areas like aviation and economics, but not in software engineering. We present the SESAM project which focuses on so...
144
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...
181
click to vote
QSIC
2007
IEEE
16 years 20 days ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...