scientific article; zbMATH DE number 781172
From MaRDI portal
Publication:4840948
zbMATH Open0832.68070MaRDI QIDQ4840948FDOQ4840948
Authors: Friederike Nickl, Martin Wirsing 
Publication date: 1 August 1995
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 2087525
- scientific article; zbMATH DE number 1706339
- scientific article; zbMATH DE number 1979580
- A formal approach to object-oriented software engineering
- From informal requirements to a running program: A case study in algebraic specification and transformational programming
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (16)
- Title not available (Why is that?)
- A derivation strategy for formal specifications from natural language requirements models
- Rationale-based use case specification
- Title not available (Why is that?)
- Engineering methods from method requirements specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The requirements model and behaviour in specification of requirements
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A systematic approach to measure the problem complexity of software requirement specifications of an information system
- Title not available (Why is that?)
- A theory of requirements capture and its applications
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 Q4840948)
