8627 search results - page 324 / 1726 » Software Engineering Using RATionale |
216
Voted
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
154
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
This appendix contains the details of our case studies out lined in our paper for the 2009 International Conference on Software Maintenance, as well as an expanded discussion se...
156
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
150
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
201
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...