The Software Life Cycle
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Elsevier

9780408037419

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Index

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50030-1 ◽

1990 ◽

pp. 413-418

Download Full-text

Designing software for provable correctness

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50025-8 ◽

1990 ◽

pp. 344-360

Author(s):

Michael Dyer

Download Full-text

The Vienna development method

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50018-0 ◽

1990 ◽

pp. 221-259 ◽

Cited By ~ 1

Author(s):

Derek Andrews

Keyword(s):

Development Method

Download Full-text

Introduction to Software development and mathematics

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50017-9 ◽

1990 ◽

pp. 219

Keyword(s):

Software Development ◽

And Mathematics

Download Full-text

Bibliography

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50029-5 ◽

1990 ◽

pp. 403-412

Download Full-text

Information base of the Aspect integrated project support environment

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50026-x ◽

1990 ◽

pp. 361-374

Author(s):

Peter Hitchcock ◽

Richard P. Whittington

Keyword(s):

Information Base ◽

Integrated Project

Download Full-text

Software product assurance: measurement and control

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50023-4 ◽

1990 ◽

pp. 311-328

Author(s):

David N. Card

Keyword(s):

Software Product ◽

And Control ◽

Measurement And Control

Download Full-text

Formal description of realtime systems

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50021-0 ◽

1990 ◽

pp. 291-308

Author(s):

Mathai Joseph ◽

Goswami

Keyword(s):

Formal Description

Download Full-text

Z and system specification

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50019-2 ◽

1990 ◽

pp. 260-277 ◽

Cited By ~ 4

Author(s):

Darrel Ince

Keyword(s):

System Specification

Download Full-text

Congruent design

The Software Life Cycle ◽

10.1016/b978-0-408-03741-9.50016-7 ◽

1990 ◽

pp. 204-218

Author(s):

Richard A. Zahniser

Download Full-text