Sign in
Softw. Eng. J.
1986
1989
1993
1996
1986
1996
Keyphrases
Publications
volume 11, number 1, 1996
Steve M. Easterbrook
,
Bashar Nuseibeh
Using ViewPoints for inconsistency management.
Softw. Eng. J.
11 (1) (1996)
Gerald Kotonya
,
Ian Sommerville
Requirements engineering with viewpoints.
Softw. Eng. J.
11 (1) (1996)
Mike Ainsworth
,
Steve Riddle
,
Peter J. L. Wallis
Formal validation of viewpoint specifications.
Softw. Eng. J.
11 (1) (1996)
Daniel Jackson
,
Michael Jackson
Problem decomposition for reuse.
Softw. Eng. J.
11 (1) (1996)
Howard Bowman
,
John Derrick
,
Peter W. A. Linington
,
Maarten W. A. Steen
Cross-viewpoint consistency in open distributed processing.
Softw. Eng. J.
11 (1) (1996)
volume 11, number 2, 1996
Sion Wyn
Regulatory requirements for computerised systems in pharmaceutical manufacture.
Softw. Eng. J.
11 (2) (1996)
David Ward
Guidelines for the development of automotive software.
Softw. Eng. J.
11 (2) (1996)
Ian Sommerville
,
Graham Dean
PCL: a language for modelling evolving system architectures.
Softw. Eng. J.
11 (2) (1996)
Phil Bennett
Experience in engineering quality into software.
Softw. Eng. J.
11 (2) (1996)
David Redmond-Pyle
Software development methods and tools: some trends and issues.
Softw. Eng. J.
11 (2) (1996)
W. David Crowe
,
Peter E. D. Strain-Clark
Deadlock-free completely connected networks: towards a π-calculus approach.
Softw. Eng. J.
11 (2) (1996)
George Woodward
Rapier 2000 software development programme.
Softw. Eng. J.
11 (2) (1996)
Andrew M. Gravell
,
Peter Henderson
Executing formal specifications need not be harmful.
Softw. Eng. J.
11 (2) (1996)
volume 11, number 3, 1996
Neil A. M. Maiden
,
Gordon Rugg
ACRE: selecting methods for requirements acquisition.
Softw. Eng. J.
11 (3) (1996)
Neil C. Audsley
,
Alan Burns
,
Robert I. Davis
,
D. J. Scholefield
,
Andy J. Wellings
Integrating optional software components into hard real-time systems.
Softw. Eng. J.
11 (3) (1996)
Orlena Gotel
,
Anthony Finkelstein
Revisiting requirements production.
Softw. Eng. J.
11 (3) (1996)
Gil Hoggarth
,
Mike A. Lockyer
Systems development methods guidance and CASE: integration between CASE and CAL.
Softw. Eng. J.
11 (3) (1996)
J. S. Chudge
,
D. Fulton
Trust and co-operation in system development: applying responsibility modelling to the problem of changing requirements.
Softw. Eng. J.
11 (3) (1996)
Pearl Brereton
,
David Budgen
Requirements elicitation for software-based systems.
Softw. Eng. J.
11 (3) (1996)
Mildred L. G. Shaw
,
Brian R. Gaines
Requirements acquisition.
Softw. Eng. J.
11 (3) (1996)
volume 11, number 4, 1996
R. Harrison
,
L. G. Samaraweera
,
Mark R. Dobie
,
Paul H. Lewis
Comparing programming paradigms: an evaluation of functional and object-oriented programs.
Softw. Eng. J.
11 (4) (1996)
Panos Fitsilis
,
Achilles Kameas
,
Panayiotis E. Pintelas
ORIENTMAN: an intelligent tutor for the ORIENT software development methodology.
Softw. Eng. J.
11 (4) (1996)
Ronald E. Prather
Convexity and independence in software metric theory.
Softw. Eng. J.
11 (4) (1996)
Shaoyu Zhou
,
M. Howard Williams
,
Hamish Taylor
Practical throughput estimation for parallel databases.
Softw. Eng. J.
11 (4) (1996)
C. W. Johnson
Literate specifications.
Softw. Eng. J.
11 (4) (1996)
A. Stoddart
Timing analysis of real-time software [Book Reviews].
Softw. Eng. J.
11 (4) (1996)
L. G. Mosley
Karel the Robot [Book Reviews].
Softw. Eng. J.
11 (4) (1996)
J. Moffett
Professional issues in software engineering [Book Reviews].
Softw. Eng. J.
11 (4) (1996)
K. S. Jones
Advanced software applications in Japan [Book Reviews].
Softw. Eng. J.
11 (4) (1996)
P. Bennett
Experience in engineering quality into software.
Softw. Eng. J.
11 (4) (1996)
C. P. Willis
Analysis of inheritance and multiple inheritance.
Softw. Eng. J.
11 (4) (1996)
volume 11, number 5, 1996
Emmanouel A. Giakoumakis
,
George Xylomenos
Evaluation and selection criteria for software requirements specification standards.
Softw. Eng. J.
11 (5) (1996)
Ana M. D. Moreira
,
Robert G. Clark
Adding rigour to object-oriented analysis.
Softw. Eng. J.
11 (5) (1996)
Bryan F. Jones
,
Harmen-Hinrich Sthamer
,
David E. Eyres
Automatic structural testing using genetic algorithms.
Softw. Eng. J.
11 (5) (1996)
Neil A. M. Maiden
,
Alistair G. Sutcliffe
Analogical retrieval in reuse-oriented requirements engineering.
Softw. Eng. J.
11 (5) (1996)
Susan A. Sherer
Statistical software testing using economic exposure assessments.
Softw. Eng. J.
11 (5) (1996)
volume 11, number 6, 1996
Ann Blandford
,
Richard M. Young
Specifying user knowledge for the design of interactive systems.
Softw. Eng. J.
11 (6) (1996)
Alan J. Dix
,
Gregory D. Abowd
Modelling status and event behaviour of interactive systems.
Softw. Eng. J.
11 (6) (1996)
Christopher W. Johnson
,
Alastair J. Telford
Extending the application of formal methods to analyse human error and system failure during accident investigations.
Softw. Eng. J.
11 (6) (1996)
Harold Thimbleby
,
Peter B. Ladkin
From logic to manuals.
Softw. Eng. J.
11 (6) (1996)
volume 10, number 5, 1995
Hong Zhu
Axiomatic assessment of control flow-based software test adequacy criteria.
Softw. Eng. J.
10 (5) (1995)
Anneliese von Mayrhauser
,
A. Marie Vans
Industrial experience with an integrated code comprehension model.
Softw. Eng. J.
10 (5) (1995)
Anthony Pengelly
Performance of effort estimating techniques in current development environments.
Softw. Eng. J.
10 (5) (1995)
Douglas R. Skuce
Knowledge management in software design: a tool and a trial.
Softw. Eng. J.
10 (5) (1995)
volume 10, number 6, 1995
John McDermid
Software Engineering: A Practitioner's Approach [Book Review].
Softw. Eng. J.
10 (6) (1995)
Derrik Morris
,
Peter Green
,
Richard Barker
'Engineering' the software in systems.
Softw. Eng. J.
10 (6) (1995)
John H. R. May
,
Gordon Hughes
,
A. D. Lunn
Reliability estimation from appropriate testing of plant protection software.
Softw. Eng. J.
10 (6) (1995)
Gang Luo
,
Robert L. Probert
,
Hasan Ural
Approach to constructing software unit testing tools.
Softw. Eng. J.
10 (6) (1995)
Chung-Ming Huang
,
Jenq-Muh Hsu
,
Huei-Yang Lai
,
Duen-Tay Huang
Integrated FDT-based protocol verification system.
Softw. Eng. J.
10 (6) (1995)
Alexander B. Romanovsky
,
Lorenzo Strigini
Backward error recovery via conversations in Ada.
Softw. Eng. J.
10 (6) (1995)