| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstraction and context in requirements engineering: Toward a synthesis
|
Potts, Colin
|
|
|
3 |
1 |
p. 23-61
|
artikel
|
| 2 |
A formal approach to scenario integration
|
Lustman, Franç
|
|
|
3 |
1 |
p. 255-271
|
artikel
|
| 3 |
A practical approach to combining requirements definition and object‐oriented analysis
|
Kaindl, Hermann
|
|
|
3 |
1 |
p. 319-343
|
artikel
|
| 4 |
A two‐step methodology to reduce requirement defects
|
Kosman, Robert J.
|
|
|
3 |
1 |
p. 477-494
|
artikel
|
| 5 |
Dealing with nonfunctional requirements in large software systems
|
Ebert, Christof
|
|
|
3 |
1 |
p. 367-395
|
artikel
|
| 6 |
Elements underlying the specification of requirements
|
Davis, Alan M.
|
|
|
3 |
1 |
p. 63-100
|
artikel
|
| 7 |
Engineering formal requirements: An analysis and testing method for Z documents
|
Ciancarini, P.
|
|
|
3 |
1 |
p. 189-219
|
artikel
|
| 8 |
Formal methods for telecommunication system requirements: A survey of standardized languages
|
Ardis, Mark A.
|
|
|
3 |
1 |
p. 157-187
|
artikel
|
| 9 |
Reconciling requirements: a method for managing interference, inconsistency and conflict
|
Spanoudakis, George
|
|
|
3 |
1 |
p. 433-457
|
artikel
|
| 10 |
Requirements analysis using forward and backward search
|
Lutz, Robyn R.
|
|
|
3 |
1 |
p. 459-475
|
artikel
|
| 11 |
Requirements traceability: Theory and practice
|
Ramesh, Balasubramaniam
|
|
|
3 |
1 |
p. 397-415
|
artikel
|
| 12 |
Synthesizing structured analysis and object‐based formal specifications
|
Coleman, David L.
|
|
|
3 |
1 |
p. 221-253
|
artikel
|
| 13 |
The concept of operations: The bridge from operational requirements to technical specifications
|
Fairley, Richard E.
|
|
|
3 |
1 |
p. 417-432
|
artikel
|
| 14 |
The meaning of requirements
|
Jackson, Michael
|
|
|
3 |
1 |
p. 5-21
|
artikel
|
| 15 |
Tools for producing formal specifications: a view of current architectures and future directions
|
Vadera, Sunil
|
|
|
3 |
1 |
p. 273-290
|
artikel
|
| 16 |
Towards quality requirements via animated formal specifications
|
Siddiqi, Jawed I.
|
|
|
3 |
1 |
p. 131-155
|
artikel
|
| 17 |
Using simulation‐based experiments for software requirements engineering
|
Lerch, F. Javier
|
|
|
3 |
1 |
p. 345-366
|
artikel
|
| 18 |
Viewpoints: principles, problems and a practical approach to requirements engineering
|
Sommerville, Ian
|
|
|
3 |
1 |
p. 101-130
|
artikel
|
Tijdschrift beschrijving