1137 search results - page 13 / 228 » Disciplined Methods of Software Specification: A Case Study |
JSS
2006
14 years 9 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
ISSRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
INFSOF
2006
14 years 9 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
67
Voted
SEW
2005
IEEE
15 years 3 months ago
2005
IEEE
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave...
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It