1199 search results - page 124 / 240 » Software Verification and Software Engineering a Practitione... |
142
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
124
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
142
Voted
EXPCS
2007
15 years 8 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
130
click to vote
IIWAS
2008
15 years 6 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
136
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Current research on code clones tries to address the question whether or not code clones are harmful for the quality of software. As most of these studies are based on the fine...