280 search results - page 25 / 56 » Problems and Deficiencies of UML as a Requirements Specifica... |
128
click to vote
FIW
1998
15 years 1 months ago
1998
In this paper we describe an ongoing project aimed at investigating the impact of feature interaction problems on computer telephony integration (CTI). As a representative and soph...
133
click to vote
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ISORC
1998
IEEE
15 years 4 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
129
click to vote
INLG
2010
Springer
14 years 9 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...