1799 search results - page 43 / 360 » The Logic of Correctness in Software Engineering |
148
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
179
click to vote
IJISMD
2010
15 years 3 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
160
Voted
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...
119
click to vote
KBSE
1995
IEEE
15 years 9 months ago
1995
IEEE
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activ...
201
click to vote
PROMISE
2010
15 years 17 days ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...