scientific article; zbMATH DE number 3888886
From MaRDI portal
Publication:3221371
zbMATH Open0557.68006MaRDI QIDQ3221371FDOQ3221371
Authors: Ian Sommerville
Publication date: 1982
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 2079623
- scientific article; zbMATH DE number 49463
- scientific article; zbMATH DE number 218372
- scientific article; zbMATH DE number 588411
- scientific article; zbMATH DE number 54114
- scientific article; zbMATH DE number 5254148
- scientific article; zbMATH DE number 42724
General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)
Cited In (31)
- Three debates about computing
- Title not available (Why is that?)
- Software Maintenance: Concepts and Practice
- Analyzing the effect of imperfect debugging on software fault detection and correction processes via a simulation framework
- Computer algebra systems - new strategies and techniques
- A functional framework for agent-based models of exchange
- Testing timed automata
- On agent-based software engineering
- Enhancing the accuracy of software reliability prediction through quantifying the effect of test phase transitions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Applying abstraction and formal specification in numerical software design
- Data-driven project portfolio selection: decision-dependent stochastic programming formulations with reliability and time to market requirements
- A theory of change for prioritised resilient and evolvable software systems
- A new algorithm for applying fuzzy set theory to evaluate the rate of aggregative risk in software development.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Software perfective maintenance: Including retrainable software in software reuse
- Translation of uncertainty representation formats through a knowledge canonical form
- On the quality of resources on the Web: An information retrieval perspective
- A first order logic for specification of timed algorithms: Basic properties and a decidable class
- Rationale-based software engineering
- Template method test pattern
- Towards a theory of practice in metaheuristics design: A machine learning perspective
- Automatic generation of verified concurrent hardware using VHDL
- Human system interface concerns in support system design
- Software is different
- Decidable verification for reducible timed automata specified in a first order logic with time
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
- Title not available (Why is that?)
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 Q3221371)