4350 search results - page 170 / 870 » Case studies for contract-based systems |
120
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
263
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
110
Voted
FIMH
2003
Springer
15 years 9 months ago
2003
Springer
The first 36-channel Magnetocardiographic (MCG) system, successfully installed in the Biomagnetism Research Center, Catholic University of Rome, has been tested to evaluate the rel...
117
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
131
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—“God class” is a term used to describe a certain type of large classes which “know too much or do too much”. Often a God class (GC) is created by accident as functionali...