scientific article; zbMATH DE number 108413

zbMATH Open0776.68003MaRDI QIDQ4023869FDOQ4023869

Authors: G. Chroust 

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

specificationsoftware engineeringrequirementssoftware management

Mathematics Subject Classification ID

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

Cited In (14)

• Title not available (Why is that?)
• Models and tools for managing development processes.
• Title not available (Why is that?)
• Software development processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision support system for choosing a model for a software development life cycle
• Mechanizing Mathematical Reasoning
• An approach to modelling software evolution processes
• Software Process Modeling
• New Trends in Software Process Modelling
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Metamodel for Defining Development Methodologies

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)