1137 search results - page 33 / 228 » Disciplined Methods of Software Specification: A Case Study |
WCRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Gaining an understanding of software systems is an important discipline in many software engineering contexts. It is essential that software engineers are assisted as much as poss...
115
Voted
CBSQ
2003
Springer
15 years 2 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
107
click to vote
FM
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...