First Page | Document Content | |
---|---|---|
Date: 2008-01-28 10:00:38Configuration management Software configuration management Software development process ECO Change management Information Engineering Facility Application Interface Specification Software Information technology management Formal methods | CA Gen Change Management Introduction Reduced software product life cycles and increasingly diverse requirements are leading companies to review and improve their software development processes. These processes and suppAdd to Reading ListSource URL: www.iet.co.ukDownload Document from Source WebsiteFile Size: 206,02 KBShare Document on Facebook |
Alloy as an Introduction to Formal MethodsDocID: 1xVY1 - View Document | |
Integrated Formal MethodsDocID: 1xVBb - View Document | |
Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon UniversityDocID: 1xUHE - View Document | |
Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian FischmeisterDocID: 1xUCm - View Document | |
Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · VojtˇDocID: 1xUrV - View Document |