4919 search results - page 443 / 984 » A Process-Ontological Model for Software Engineering |
188
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
196
click to vote
IEE
2008
15 years 7 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
161
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
181
click to vote
WCRE
2009
IEEE
16 years 1 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...
192
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility...