5228 search results - page 458 / 1046 » Case Studies for Software Engineers |
237
click to vote
ICST
2010
IEEE
15 years 6 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
198
Voted
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
209
click to vote
CORR
1998
Springer
15 years 7 months ago
1998
Springer
Technology designers often strive to design systems that are flexible enough to be used in a wide range of situations. Software engineers, in particular, are trained to seek gener...
191
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
223
click to vote
SIGCSE
2009
ACM
16 years 8 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...