| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstraction and context in requirements engineering: Toward a synthesis
|
Potts, Colin
|
|
|
|
1 |
p. 23-61
|
artikel
|
| 2 |
A case-;study of requirements reuse through product families
|
Lam, W.
|
|
|
|
1 |
p. 253-277
|
artikel
|
| 3 |
A Comparative Review of Process-Centered Software Engineering Environments
|
Selma Arbaoui
|
|
2002
|
|
1 |
p. 311-340
30 p.
|
artikel
|
| 4 |
A Component Model for Perspective Management of Enterprise Software Reuse
|
Hong Mei
|
|
2001
|
|
1 |
p. 219-236
18 p.
|
artikel
|
| 5 |
A formal approach to scenario integration
|
Lustman, Franç
|
|
|
|
1 |
p. 255-271
|
artikel
|
| 6 |
A Formal Object Approach to the Design of ZML
|
Jing Sun
|
|
2002
|
|
1 |
p. 329-356
28 p.
|
artikel
|
| 7 |
A Framework for Community Information Systems
|
Paulo S. C. Alencar
|
|
2002
|
|
1 |
p. 381-411
31 p.
|
artikel
|
| 8 |
A Framework for Evaluating Distributed Object Models and its Application to Web Engineering
|
Hossein Saiedian
|
|
2002
|
|
1 |
p. 71-96
26 p.
|
artikel
|
| 9 |
A framework for performing verification and validation in reuse-;based software engineering
|
Addy, Edward A.
|
|
|
|
1 |
p. 279-292
|
artikel
|
| 10 |
A Knowledge-Based Software Process Simulation Model
|
Noriko Hanakawa
|
|
2002
|
|
1 |
p. 383-406
24 p.
|
artikel
|
| 11 |
A marketdriven approach to teaching software components engineering
|
Nick V. Flor
|
|
1998
|
|
1 |
p. 223-251
29 p.
|
artikel
|
| 12 |
A Measurement-Based Framework for Software Reliability Improvement
|
Karama Kanoun
|
|
2001
|
|
1 |
p. 89-106
18 p.
|
artikel
|
| 13 |
An Architecture for Supporting Multi-Device, Client-Adaptive Services
|
Guido Menkhaus
|
|
2002
|
|
1 |
p. 309-327
19 p.
|
artikel
|
| 14 |
An association-;based management of reusable software components
|
Matsumoto, Yoshihiro
|
|
|
|
1 |
p. 317-347
|
artikel
|
| 15 |
An empirical evaluation of deadlock detection in software architecture specifications
|
Jeffrey J.P. Tsai
|
|
1999
|
|
1 |
p. 95-126
32 p.
|
artikel
|
| 16 |
An essay on software testing for quality assurance – Editor’s introduction
|
Hamlet, Dick
|
|
|
|
1 |
p. 1-9
|
artikel
|
| 17 |
Annals of Software Engineering Special Volume on Software Management
|
Carl K. Chang
|
|
2001
|
|
1 |
p. 11-14
4 p.
|
artikel
|
| 18 |
A perspective of generative reuse
|
Biggerstaff, Ted J.
|
|
|
|
1 |
p. 169-226
|
artikel
|
| 19 |
A practical approach to combining requirements definition and object‐oriented analysis
|
Kaindl, Hermann
|
|
|
|
1 |
p. 319-343
|
artikel
|
| 20 |
A practical approach to implementing realtime semantics
|
Girish Bhat
|
|
1999
|
|
1 |
p. 127-155
29 p.
|
artikel
|
| 21 |
A realtime version of SequenceL
|
Daniel E. Cooke
|
|
1999
|
|
1 |
p. 157-176
20 p.
|
artikel
|
| 22 |
A stakeholder winwin approach to software engineering education
|
Barry Boehm
|
|
1998
|
|
1 |
p. 295-321
27 p.
|
artikel
|
| 23 |
A survey of software reuse libraries
|
Mili, A.
|
|
|
|
1 |
p. 349-414
|
artikel
|
| 24 |
A time/structure based software reliability model
|
Swapna S. Gokhale
|
|
1999
|
|
1 |
p. 85-121
37 p.
|
artikel
|
| 25 |
ATOM An objectbased formal method for realtime systems
|
Hussein Zedan
|
|
1999
|
|
1 |
p. 235-256
22 p.
|
artikel
|
| 26 |
A two‐step methodology to reduce requirement defects
|
Kosman, Robert J.
|
|
|
|
1 |
p. 477-494
|
artikel
|
| 27 |
Automated class testing using threaded multiway trees to represent the behaviour of state machines
|
BorYuan Tsai
|
|
1999
|
|
1 |
p. 203-221
19 p.
|
artikel
|
| 28 |
Automatic Verification of Static Policies on Software Process Models
|
Rodrigo Quites Reis
|
|
2002
|
|
1 |
p. 197-234
38 p.
|
artikel
|
| 29 |
Building XML-Based Unified User Interface System under J2EE Architecture
|
Stephen J.H. Yang
|
|
2001
|
|
1 |
p. 241-256
16 p.
|
artikel
|
| 30 |
C++ in safety critical systems
|
Binkley, David W.
|
|
|
|
1 |
p. 223-234
|
artikel
|
| 31 |
Commitment Nets in Software Process Improvement
|
Pekka Abrahamsson
|
|
2002
|
|
1 |
p. 407-438
32 p.
|
artikel
|
| 32 |
Composing, analyzing and validating software models to assess the performability of competing design candidates
|
Frederick T. Sheldon
|
|
1999
|
|
1 |
p. 239-287
49 p.
|
artikel
|
| 33 |
Current accreditation, certification, and licensure activities related to software engineering
|
Nancy R. Mead
|
|
1998
|
|
1 |
p. 167-180
14 p.
|
artikel
|
| 34 |
DARE: Domain analysis and reuse environment
|
Frakes, William
|
|
|
|
1 |
p. 125-141
|
artikel
|
| 35 |
Dealing with nonfunctional requirements in large software systems
|
Ebert, Christof
|
|
|
|
1 |
p. 367-395
|
artikel
|
| 36 |
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System
|
Betty H.C. Cheng
|
|
2001
|
|
1 |
p. 95-118
24 p.
|
artikel
|
| 37 |
Discovering Unanticipated Software Output Modes
|
Jeffrey M. Voas
|
|
2001
|
|
1 |
p. 79-88
10 p.
|
artikel
|
| 38 |
Editors' Introduction
|
|
|
2002
|
|
1 |
p. 9-11
3 p.
|
artikel
|
| 39 |
Editors Introduction
|
|
|
2001
|
|
1 |
p. 9-10
2 p.
|
artikel
|
| 40 |
Elements underlying the specification of requirements
|
Davis, Alan M.
|
|
|
|
1 |
p. 63-100
|
artikel
|
| 41 |
Engineering formal requirements: An analysis and testing method for Z documents
|
Ciancarini, P.
|
|
|
|
1 |
p. 189-219
|
artikel
|
| 42 |
Engineering Web-Based Systems with UML Assets
|
Grant Larsen
|
|
2002
|
|
1 |
p. 203-230
28 p.
|
artikel
|
| 43 |
e-R&D Effectively Managing Process Diversity
|
Christof Ebert
|
|
2002
|
|
1 |
p. 73-91
19 p.
|
artikel
|
| 44 |
Evaluating software architectures for realtime systems
|
Rick Kazman
|
|
1999
|
|
1 |
p. 71-93
23 p.
|
artikel
|
| 45 |
Experiences Using Domain Specific Techniques within Multimedia Software Engineering
|
Dan Port
|
|
2001
|
|
1 |
p. 11-45
35 p.
|
artikel
|
| 46 |
Feasible input domain partitioning in software testing: RCS case study
|
Vagoun, Tomas
|
|
|
|
1 |
p. 159-170
|
artikel
|
| 47 |
Forging a discipline An outline history of software engineering education
|
James E. Tomayko
|
|
1998
|
|
1 |
p. 3-18
16 p.
|
artikel
|
| 48 |
Formal methods for telecommunication system requirements: A survey of standardized languages
|
Ardis, Mark A.
|
|
|
|
1 |
p. 157-187
|
artikel
|
| 49 |
Foundations of Fast Communication via XML
|
Welf M. Löwe
|
|
2002
|
|
1 |
p. 357-379
23 p.
|
artikel
|
| 50 |
Genetic Algorithms for Project Management
|
Carl K. Chang
|
|
2001
|
|
1 |
p. 107-139
33 p.
|
artikel
|
| 51 |
Graphical Transformation of Multimedia XML Documents
|
Kang Zhang
|
|
2001
|
|
1 |
p. 119-137
19 p.
|
artikel
|
| 52 |
How to improve performance of software systems A methodology and a case study for tuning performance
|
Siddhartha R. Dalal
|
|
1999
|
|
1 |
p. 53-84
32 p.
|
artikel
|
| 53 |
Immersive Whiteboard Collaborative System
|
Zon-Yin Shae
|
|
2001
|
|
1 |
p. 193-212
20 p.
|
artikel
|
| 54 |
Improving academic software engineering projects A comparative study of academic and industry projects
|
Pierre N. Robillard
|
|
1998
|
|
1 |
p. 343-363
21 p.
|
artikel
|
| 55 |
Improving reliability of large software systems
|
Christof Ebert
|
|
1999
|
|
1 |
p. 3-51
49 p.
|
artikel
|
| 56 |
Integrated architectural modeling and analysis for highassurance command and control system design
|
Yi Deng
|
|
1999
|
|
1 |
p. 47-70
24 p.
|
artikel
|
| 57 |
Integrating Process and Project Management for Multi-Site Software Development
|
Keith C.C. Chan
|
|
2002
|
|
1 |
p. 115-143
29 p.
|
artikel
|
| 58 |
Integrating Process Support and Knowledge Management for Virtual Software Development Teams
|
Frank Maurer
|
|
2002
|
|
1 |
p. 145-168
24 p.
|
artikel
|
| 59 |
Internet Software Engineering: A Different Class of Processes
|
Balasubramaniam Ramesh
|
|
2002
|
|
1 |
p. 169-195
27 p.
|
artikel
|
| 60 |
JAAFAAR: A Web-Based Multi-Agent Toolkit for Collective Research
|
S. Calderoni
|
|
2002
|
|
1 |
p. 265-283
19 p.
|
artikel
|
| 61 |
JACIE an Authoring Language for Rapid Prototyping Net-Centric, Multimedia and Collaborative Applications
|
Abdul S. Haji-Ismail
|
|
2001
|
|
1 |
p. 47-75
29 p.
|
artikel
|
| 62 |
Managing Software Development for Survivable Systems
|
Nancy R. Mead
|
|
2001
|
|
1 |
p. 45-78
34 p.
|
artikel
|
| 63 |
Managing Software Reuse Economics: An Integrated ROI-based Model
|
Ali Mili
|
|
2001
|
|
1 |
p. 175-218
44 p.
|
artikel
|
| 64 |
Managing Technical Change in Legacy Systems
|
Terry Bollinger
|
|
2001
|
|
1 |
p. 237-257
21 p.
|
artikel
|
| 65 |
Mediating the Internet
|
Davide Brugali
|
|
2002
|
|
1 |
p. 285-308
24 p.
|
artikel
|
| 66 |
Metrics in the software engineering curriculum
|
Everald E. Mills
|
|
1998
|
|
1 |
p. 181-200
20 p.
|
artikel
|
| 67 |
Modeling concurrent realtime processes using discrete events
|
Edward A. Lee
|
|
1999
|
|
1 |
p. 25-45
21 p.
|
artikel
|
| 68 |
Modeling reliability growth during non‐representative testing
|
Mitchell, Brian
|
|
|
|
1 |
p. 11-29
|
artikel
|
| 69 |
Multimedia Multicast in Mobile Computing: Handoff Management
|
Abderrahim Benslimane
|
|
2001
|
|
1 |
p. 77-93
17 p.
|
artikel
|
| 70 |
Negotiated learning contracts in team projects
|
Malcolm Birtle
|
|
1998
|
|
1 |
p. 323-341
19 p.
|
artikel
|
| 71 |
Object-Oriented Design Structures in Web Application Models
|
Gustavo Rossi
|
|
2002
|
|
1 |
p. 97-110
14 p.
|
artikel
|
| 72 |
Objectoriented integration testing
|
Imran Bashir
|
|
1999
|
|
1 |
p. 187-202
16 p.
|
artikel
|
| 73 |
On coping with realtime software dynamic inconsistency by builtin tests
|
Yingxu Wang
|
|
1999
|
|
1 |
p. 283-296
14 p.
|
artikel
|
| 74 |
OPEN Process Support for Web Development
|
Brian Henderson-Sellers
|
|
2002
|
|
1 |
p. 163-201
39 p.
|
artikel
|
| 75 |
OPMWeb Object-Process Methodology for Developing Web Applications
|
Iris Reinhartz-Berger
|
|
2002
|
|
1 |
p. 141-161
21 p.
|
artikel
|
| 76 |
Opportunities for software engineering education
|
Dennis J. Frailey
|
|
1998
|
|
1 |
p. 131-144
14 p.
|
artikel
|
| 77 |
Optimal software release scheduling based on artificial neural networks
|
Tadashi Dohi
|
|
1999
|
|
1 |
p. 167-185
19 p.
|
artikel
|
| 78 |
Organisational considerations for software reuse
|
Lynex, Andy
|
|
|
|
1 |
p. 105-124
|
artikel
|
| 79 |
Preface
|
|
|
1999
|
|
1 |
p. 1-3
3 p.
|
artikel
|
| 80 |
Preface
|
Amrit L. Goel
|
|
1999
|
|
1 |
p. 1-2
2 p.
|
artikel
|
| 81 |
Preface
|
|
|
1998
|
|
1 |
p. 1-2
2 p.
|
artikel
|
| 82 |
Process-Based Software Engineering: Building the Infrastructures
|
Yingxu Wang
|
|
2002
|
|
1 |
p. 9-37
29 p.
|
artikel
|
| 83 |
Process-Centered Software Engineering Environments, A Brief History and Future Challenges
|
Volker Gruhn
|
|
2002
|
|
1 |
p. 363-382
20 p.
|
artikel
|
| 84 |
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)
|
Brian Henderson-Sellers
|
|
2002
|
|
1 |
p. 341-362
22 p.
|
artikel
|
| 85 |
Professional software engineering education
|
Peter J. Denning
|
|
1998
|
|
1 |
p. 145-166
22 p.
|
artikel
|
| 86 |
Programming faults and errors: Towards a theory of software incorrectness
|
Laski, Janusz
|
|
|
|
1 |
p. 79-114
|
artikel
|
| 87 |
Quality assurance and testing for safety systems
|
Hecht, Herbert
|
|
|
|
1 |
p. 191-200
|
artikel
|
| 88 |
Reconciling requirements: a method for managing interference, inconsistency and conflict
|
Spanoudakis, George
|
|
|
|
1 |
p. 433-457
|
artikel
|
| 89 |
Relational programs An architecture for robust realtime safetycritical processcontrol systems
|
Farokh B. Bastani
|
|
1999
|
|
1 |
p. 5-24
20 p.
|
artikel
|
| 90 |
Requirements analysis using forward and backward search
|
Lutz, Robyn R.
|
|
|
|
1 |
p. 459-475
|
artikel
|
| 91 |
Requirements traceability: Theory and practice
|
Ramesh, Balasubramaniam
|
|
|
|
1 |
p. 397-415
|
artikel
|
| 92 |
Reuse of early life-;cycle artifacts: workproducts, methods and tools
|
Cybulski, Jacob L.
|
|
|
|
1 |
p. 227-251
|
artikel
|
| 93 |
Rule‐base coverage analysis applied to test case selection
|
Barr, Valerie
|
|
|
|
1 |
p. 171-189
|
artikel
|
| 94 |
Rules and Tools for Software Evolution Planning and Management
|
Meir M. Lehman
|
|
2001
|
|
1 |
p. 15-44
30 p.
|
artikel
|
| 95 |
Situated Computing: A Paradigm for the Mobile User-Interaction with Multimedia Sources
|
Masahito Hirakawa
|
|
2001
|
|
1 |
p. 213-239
27 p.
|
artikel
|
| 96 |
Software engineering education issues and alternatives
|
Robert L. Baber
|
|
1998
|
|
1 |
p. 39-59
21 p.
|
artikel
|
| 97 |
Software engineering education Rôles of formal specification and design calculi
|
Dines Bjørner
|
|
1998
|
|
1 |
p. 365-409
45 p.
|
artikel
|
| 98 |
Software engineering programmes are not computer science programmes
|
David Lorge Parnas
|
|
1998
|
|
1 |
p. 19-37
19 p.
|
artikel
|
| 99 |
Software Evolution and Software Evolution Processes
|
Meir M. Lehman
|
|
2002
|
|
1 |
p. 275-309
35 p.
|
artikel
|
| 100 |
Software quality through domain-;driven certification
|
Knight, John C.
|
|
|
|
1 |
p. 293-315
|
artikel
|
| 101 |
Software release policies with gain in reliability justifying the costs
|
Hoang Pham
|
|
1999
|
|
1 |
p. 147-166
20 p.
|
artikel
|
| 102 |
Software reliability assessment tool based on objectoriented analysis and its application
|
Shigeru Yamada
|
|
1999
|
|
1 |
p. 223-238
16 p.
|
artikel
|
| 103 |
Software reuse and competition: Consumer preferences in a software component market
|
Lerch, F. Javier
|
|
|
|
1 |
p. 53-83
|
artikel
|
| 104 |
Specification and analysis of realtime systems with PARAGON
|
Oleg Sokolsky
|
|
1999
|
|
1 |
p. 211-234
24 p.
|
artikel
|
| 105 |
Specification‐based testing using cause‐effect graphs
|
Paradkar, Amit
|
|
|
|
1 |
p. 133-157
|
artikel
|
| 106 |
Stochastic software safety/reliability measurement and its application
|
Koichi Tokuno
|
|
1999
|
|
1 |
p. 123-145
23 p.
|
artikel
|
| 107 |
Stochastic software testing
|
Whittaker, James A.
|
|
|
|
1 |
p. 115-131
|
artikel
|
| 108 |
Strategy-;driven reuse: Bringing reuse from the Engineering Department to the Executive Boardroom
|
Lim, Wayne C.
|
|
|
|
1 |
p. 85-103
|
artikel
|
| 109 |
Supporting Well-Engineered Web Documentation Development a Multimedia Software Engineering Approach toward Virtual University Courseware Designs
|
Timothy K. Shih
|
|
2001
|
|
1 |
p. 139-165
27 p.
|
artikel
|
| 110 |
Synthesizing structured analysis and object‐based formal specifications
|
Coleman, David L.
|
|
|
|
1 |
p. 221-253
|
artikel
|
| 111 |
Systems engineering for software engineers
|
Ian Sommerville
|
|
1998
|
|
1 |
p. 111-129
19 p.
|
artikel
|
| 112 |
TAPD A model for developing specialization tracks in a graduate software engineering curriculum
|
Carol L. Hoover
|
|
1998
|
|
1 |
p. 253-279
27 p.
|
artikel
|
| 113 |
Test and evaluation of distributed information system networks
|
Raymond A. Paul
|
|
1999
|
|
1 |
p. 289-311
23 p.
|
artikel
|
| 114 |
Testing Processes of Web Applications
|
Filippo Ricca
|
|
2002
|
|
1 |
p. 93-114
22 p.
|
artikel
|
| 115 |
Test workload measurement and reliability analysis for large commercial software systems
|
Tian, Jeff
|
|
|
|
1 |
p. 201-222
|
artikel
|
| 116 |
The ability of directed tests to predict software quality
|
Michael, Christoph C.
|
|
|
|
1 |
p. 31-64
|
artikel
|
| 117 |
The concept of operations: The bridge from operational requirements to technical specifications
|
Fairley, Richard E.
|
|
|
|
1 |
p. 417-432
|
artikel
|
| 118 |
The design and analysis of realtime systems using the ASTRAL software development environment
|
Paul Z. Kolano
|
|
1999
|
|
1 |
p. 177-210
34 p.
|
artikel
|
| 119 |
The first decade of an undergraduate degree programme in software engineering
|
A.J. Cowling
|
|
1998
|
|
1 |
p. 61-90
30 p.
|
artikel
|
| 120 |
The meaning of requirements
|
Jackson, Michael
|
|
|
|
1 |
p. 5-21
|
artikel
|
| 121 |
The Real-Time Process Algebra (RTPA)
|
Yingxu Wang
|
|
2002
|
|
1 |
p. 235-274
40 p.
|
artikel
|
| 122 |
The relevance of software education A survey and some recommendations
|
Timothy C. Lethbridge
|
|
1998
|
|
1 |
p. 91-110
20 p.
|
artikel
|
| 123 |
Three Process Perspectives: Organizations, Teams, and People
|
Watts S. Humphrey
|
|
2002
|
|
1 |
p. 39-72
34 p.
|
artikel
|
| 124 |
Tools for producing formal specifications: a view of current architectures and future directions
|
Vadera, Sunil
|
|
|
|
1 |
p. 273-290
|
artikel
|
| 125 |
Towards a General Component Model for Web-Based Applications
|
Colin Atkinson
|
|
2002
|
|
1 |
p. 35-69
35 p.
|
artikel
|
| 126 |
Towards quality requirements via animated formal specifications
|
Siddiqi, Jawed I.
|
|
|
|
1 |
p. 131-155
|
artikel
|
| 127 |
Towards reusable realtime objects
|
Brian Nielsen
|
|
1999
|
|
1 |
p. 257-282
26 p.
|
artikel
|
| 128 |
Understanding and exploring formal specifications
|
Jawed Siddiqi
|
|
1998
|
|
1 |
p. 411-432
22 p.
|
artikel
|
| 129 |
Unified Versioning Using Resource Description Framework
|
Supanat Kitcharoensakkul
|
|
2001
|
|
1 |
p. 259-297
39 p.
|
artikel
|
| 130 |
Using Component-Based Development and Web Technologies to Support a Distributed Data Management System
|
M. Brian Blake
|
|
2002
|
|
1 |
p. 13-34
22 p.
|
artikel
|
| 131 |
Using formal methods for teaching software engineering a toolbased approach
|
P. Ciancarini
|
|
1998
|
|
1 |
p. 433-453
21 p.
|
artikel
|
| 132 |
Using simulation‐based experiments for software requirements engineering
|
Lerch, F. Javier
|
|
|
|
1 |
p. 345-366
|
artikel
|
| 133 |
Using UML Profiles for Documenting Web-Based Application Frameworks
|
Lidia Fuentes
|
|
2002
|
|
1 |
p. 249-264
16 p.
|
artikel
|
| 134 |
Using WinWin Quality Requirements Management Tools: A Case Study
|
Hoh In
|
|
2001
|
|
1 |
p. 141-174
34 p.
|
artikel
|
| 135 |
Utilizing patterns and pattern languages in education
|
Elizabeth A. Kendall
|
|
1998
|
|
1 |
p. 281-294
14 p.
|
artikel
|
| 136 |
Value based software reuse investment
|
Favaro, John M.
|
|
|
|
1 |
p. 5-52
|
artikel
|
| 137 |
Viewpoints: principles, problems and a practical approach to requirements engineering
|
Sommerville, Ian
|
|
|
|
1 |
p. 101-130
|
artikel
|
| 138 |
Views and Patterns in E-Commerce Application Design
|
Marcus E. Markiewicz
|
|
2002
|
|
1 |
p. 111-140
30 p.
|
artikel
|
| 139 |
Web-Based Support for Cooperative Software Engineering
|
Joseph A. Goguen
|
|
2001
|
|
1 |
p. 167-191
25 p.
|
artikel
|
| 140 |
Why dont they practice what we preach
|
Watts S. Humphrey
|
|
1998
|
|
1 |
p. 201-222
22 p.
|
artikel
|
| 141 |
XML-Based Hypertext Functionalities for Software Engineering
|
Luca Bompani
|
|
2002
|
|
1 |
p. 231-247
17 p.
|
artikel
|
Tijdschrift beschrijving