Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions.
- Published in:
- Requirements Engineering, 2019, v. 24, n. 2, p. 231, doi. 10.1007/s00766-017-0286-6
- By:
- Publication type:
- Article
Works matching IS 09473602 AND DT 2019 AND VI 24 AND IP 2
Results: 5
1
2
Eliciting user requirements for e-collaboration systems: a proposal for a multi-perspective modeling approach.
- Published in:
- Requirements Engineering, 2019, v. 24, n. 2, p. 205, doi. 10.1007/s00766-017-0285-7
- By:
- Publication type:
- Article
3
A set of prescribed activities for enhancing requirements engineering in the development of usable e-Government applications.
- Published in:
- Requirements Engineering, 2019, v. 24, n. 2, p. 181, doi. 10.1007/s00766-017-0282-x
- By:
- Publication type:
- Article
4
Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements.
- Published in:
- Requirements Engineering, 2019, v. 24, n. 2, p. 161, doi. 10.1007/s00766-017-0281-y
- By:
- Publication type:
- Article
5
Goal-oriented requirements engineering: an extended systematic mapping study.
- Published in:
- Requirements Engineering, 2019, v. 24, n. 2, p. 133, doi. 10.1007/s00766-017-0280-z
- By:
- Publication type:
- Article