3799 search results - page 425 / 760 » An Engineering Approach to Formal Methods |
207
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
221
click to vote
SOPR
1998
15 years 6 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
193
click to vote
MCAM
2007
Springer
16 years 27 days ago
2007
Springer
Existing Web image search engines index images by textual descriptions including filename, image caption, surrounding text, etc. However, the textual description available on the W...
168
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
222
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...