scientific article; zbMATH DE number 108413

MaRDI QIDQ4023869zbMATH OpenFDO

Authors G. Chroust

Publication date 23 January 1993

zbMATH Keywords

requirementssoftware engineeringsoftware managementspecification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Recommendations

• Model-driven software development. Methods, engineering, management
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 2242481
• Modelling Systems
• The use of development models for improvement of software maintenance

Cited in

(15)

• Models and tools for managing development processes.
• Software development processes
• scientific article; zbMATH DE number 1728505 (Why is no real title available?)
• An approach to modelling software evolution processes
• A Metamodel for Defining Development Methodologies
• scientific article; zbMATH DE number 49820 (Why is no real title available?)
• scientific article; zbMATH DE number 108418 (Why is no real title available?)
• scientific article; zbMATH DE number 140106 (Why is no real title available?)
• scientific article; zbMATH DE number 1118023 (Why is no real title available?)
• scientific article; zbMATH DE number 1946720 (Why is no real title available?)
• Software Process Modeling
• scientific article; zbMATH DE number 945285 (Why is no real title available?)
• Decision support system for choosing a model for a software development life cycle
• New Trends in Software Process Modelling
• Mechanizing Mathematical Reasoning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023869)