default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering Journal, Volume 11
Volume 11, Number 1, January 1996
- Gerald Kotonya, Ian Sommerville:
Requirements engineering with viewpoints. 5-18 - Daniel Jackson, Michael Jackson:
Problem decomposition for reuse. 19-30 - Steve M. Easterbrook
, Bashar Nuseibeh:
Using ViewPoints for inconsistency management. 31-43 - Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen:
Cross-viewpoint consistency in open distributed processing. 44-57 - Mike Ainsworth, Steve Riddle, Peter J. L. Wallis:
Formal validation of viewpoint specifications. 58-66
Volume 11, Number 2, March 1996
- David Ward:
Guidelines for the development of automotive software. 76-81 - George Woodward:
Rapier 2000 software development programme. 82-87 - Sion Wyn:
Regulatory requirements for computerised systems in pharmaceutical manufacture. 88-94 - Phil Bennett:
Experience in engineering quality into software. 95-98 - David Redmond-Pyle:
Software development methods and tools: some trends and issues. 99-103 - Andrew M. Gravell, Peter Henderson:
Executing formal specifications need not be harmful. 104-110 - Ian Sommerville, Graham Dean:
PCL: a language for modelling evolving system architectures. 111-121 - W. David Crowe, Peter E. D. Strain-Clark:
Deadlock-free completely connected networks: towards a π-calculus approach. 122-131
Volume 11, Number 3, May 1996
- Pearl Brereton, David Budgen:
Requirements elicitation for software-based systems. - Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings:
Integrating optional software components into hard real-time systems. 133-140 - Gil Hoggarth, Mike A. Lockyer:
Systems development methods guidance and CASE: integration between CASE and CAL. 141-147 - Mildred L. G. Shaw, Brian R. Gaines:
Requirements acquisition. 149-165 - Orlena Gotel, Anthony Finkelstein:
Revisiting requirements production. 166-182 - Neil A. M. Maiden, Gordon Rugg:
ACRE: selecting methods for requirements acquisition. 183-192 - J. S. Chudge, D. Fulton:
Trust and co-operation in system development: applying responsibility modelling to the problem of changing requirements. 193-204
Volume 11, Number 4, July 1996
- P. Bennett:
Experience in engineering quality into software. - L. G. Mosley:
Karel the Robot [Book Reviews]. - J. Moffett:
Professional issues in software engineering [Book Reviews]. - Karen Sparck Jones:
Advanced software applications in Japan [Book Reviews]. - A. Stoddart:
Timing analysis of real-time software [Book Reviews]. - Panos Fitsilis, Achilles Kameas, Panayiotis E. Pintelas:
ORIENTMAN: an intelligent tutor for the ORIENT software development methodology. 206-214 - C. P. Willis:
Analysis of inheritance and multiple inheritance. 215-224 - C. W. Johnson:
Literate specifications. 225-237 - Ronald E. Prather:
Convexity and independence in software metric theory. 238-246 - R. Harrison, L. G. Samaraweera, Mark R. Dobie, Paul H. Lewis:
Comparing programming paradigms: an evaluation of functional and object-oriented programs. 247-254 - Shaoyu Zhou, M. Howard Williams, Hamish Taylor:
Practical throughput estimation for parallel databases. 255-263
Volume 11, Number 5, September 1996
- Ana M. D. Moreira, Robert G. Clark:
Adding rigour to object-oriented analysis. 270-280 - Neil A. M. Maiden, Alistair G. Sutcliffe:
Analogical retrieval in reuse-oriented requirements engineering. 281-292 - Susan A. Sherer:
Statistical software testing using economic exposure assessments. 293-298 - Bryan F. Jones, Harmen-Hinrich Sthamer, David E. Eyres:
Automatic structural testing using genetic algorithms. 299-306 - Emmanouel A. Giakoumakis, George Xylomenos:
Evaluation and selection criteria for software requirements specification standards. 307-319
Volume 11, Number 6, November 1996
- Ann Blandford, Richard M. Young:
Specifying user knowledge for the design of interactive systems. 323-333 - Alan J. Dix, Gregory D. Abowd:
Modelling status and event behaviour of interactive systems. 334-346 - Harold Thimbleby, Peter B. Ladkin:
From logic to manuals. 347-354 - Christopher W. Johnson, Alastair J. Telford:
Extending the application of formal methods to analyse human error and system failure during accident investigations. 355-365
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
