scientific article; zbMATH DE number 1189004
From MaRDI portal
Publication:3838696
Recommendations
- QE software based on comprehensive Gröbner systems
- Developing quality software systems using the SOFL formal engineering method
- GPFCSP systems: definition and formalization
- Software systems and their modeling. Foundations, methods and techniques
- Multifunctional software systems: Structured modeling and specification of functional requirements
- Specification of software systems
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 Q3838696)