1199 search results - page 18 / 240 » Software Verification and Software Engineering a Practitione... |
115
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
120
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Over the last decades, software engineering processes have constantly evolved to reflect cultural, social, technological, and organizational changes, which are often a direct resu...
157
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
The concept of systematic software reuse is simple: the idea of building and using "software preferred parts." By building systems out of carefully designed, pre-tested ...
127
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Software practitioners experience pressure to compromise their work and their reasonable care for others. Even as software becomes more beneficial, pervasive, and interconnected, ...
ESEC
1993
Springer
15 years 8 months ago
1993
Springer
