1141 search results - page 33 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
160
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
153
click to vote
CSREAEEE
2006
15 years 7 months ago
2006
- This paper investigates issues on culture and websites design for e-commerce, and also relates them to advanced requirements engineering practices. E-commerce parishioners and us...
151
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
170
click to vote
PDSE
1998
15 years 7 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
157
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...