3192 search results - page 280 / 639 » A Requirements-Driven Development Methodology |
151
Voted
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
Large scale distributed systems are becoming of paramount importance, due to the evolution of technology and to the interest of market. Their development, however, is not yet supp...
179
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
156
click to vote
REX
1989
15 years 10 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
279
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with thi...
167
click to vote
EGOV
2009
Springer
15 years 10 months ago
2009
Springer
About fifteen years of e-government research (EGR) lead to a research field that is looking forward to define an identity as a proper and autonomous scientific discipline. This pap...