SEARCC8 Productivity Tools and Development Methodology Keynote Address: Software Manufacture M A Jackson 1 Introduction Our business is software development. We can look at software and its development from many differen

First Page		Document Content
Date: 2002-05-03 12:11:40 Component-based software engineering Object-oriented programming Software development methodology Software development process Programming language Separation of concerns Software design Problem frames approach Software development Software Software architecture		SEARCC8 Productivity Tools and Development Methodology Keynote Address: Software Manufacture M A Jackson 1 Introduction Our business is software development. We can look at software and its development from many differen Add to Reading List Source URL: mcs.open.ac.uk Download Document from Source Website File Size: 86,64 KB Share Document on Facebook

	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
	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
	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