8627 search results - page 142 / 1726 » Software Engineering Using RATionale |
PASTE
2005
ACM
15 years 4 months ago
2005
ACM
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
APN
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
ASWEC
2005
IEEE
15 years 4 months ago
2005
IEEE
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
ISPASS
2009
IEEE
15 years 6 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
102
click to vote
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...