<--- Back to Details
First PageDocument Content
Project management / Technical communication / Software requirements / Systems engineering / Software engineering / Software testing / Software design / Software architecture / Software development process / Software development / Software / Technology
Date: 2009-01-07 12:08:41
Project management
Technical communication
Software requirements
Systems engineering
Software engineering
Software testing
Software design
Software architecture
Software development process
Software development
Software
Technology

SALT System Specification

Add to Reading List

Source URL: www.sal.wisc.edu

Download Document from Source Website

File Size: 627,90 KB

Share Document on Facebook

Similar Documents

Engineering / Software requirements / Software quality / Design for X / Systems engineering / Reliability engineering / Survival analysis / Economic model / Requirement / Systems science / Design

Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

DocID: 1xVNl - View Document

Software engineering / Computer programming / Computing / Object-oriented programming / Component-based software engineering / Inter-process communication / C++ / Component Object Model / Inline function / ECO / Scope / C standard library

Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair

DocID: 1xUM1 - View Document

Computing / Software quality / Engineering / Reliability engineering / Software engineering / Design for X / Materials science / Survival analysis / Fault tolerance / Redundancy / Software design / Modular programming

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

DocID: 1xThG - View Document

MODELISAR An international standard for systems- and embedded software design in vehicles Modelling is not new in automotive systems development Impact highlights

DocID: 1vpDM - View Document