<--- Back to Details
First PageDocument Content
Project management / Product development / Systems engineering / Software engineering / Software developer / Specification / Systems engineering process / Requirement / Software / Technology / Software development / Business
Date: 2002-11-02 09:34:20
Project management
Product development
Systems engineering
Software engineering
Software developer
Specification
Systems engineering process
Requirement
Software
Technology
Software development
Business

Software Development as an Engineering Problem Michael A. Jackson, London Key-words: Design, development methods, implementation, software engineering, standardisation. Abstract: It is hoped that software development can

Add to Reading List

Source URL: mcs.open.ac.uk

Download Document from Source Website

File Size: 116,54 KB

Share Document on Facebook

Similar Documents

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

DocID: 1xVZ6 - View Document

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1  Jet Propulsion Laboratory, California Inst. of Technology, USA

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

DocID: 1xVWh - View Document

R The OpenGL
 Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

DocID: 1xVOa - View Document

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

DocID: 1xVDa - View Document

A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud  Daniele Filaretti

A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti

DocID: 1xVf7 - View Document