scientific article
From MaRDI portal
Publication:3221371
zbMath0557.68006MaRDI QIDQ3221371
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items
Software perfective maintenance: Including retrainable software in software reuse, Translation of uncertainty representation formats through a knowledge canonical form, Data-driven project portfolio selection: decision-dependent stochastic programming formulations with reliability and time to market requirements, On the quality of resources on the Web: An information retrieval perspective, Applying abstraction and formal specification in numerical software design, Three Debates about Computing, A theory of change for prioritised resilient and evolvable software systems, Analyzing the effect of imperfect debugging on software fault detection and correction processes via a simulation framework, Automatic generation of verified concurrent hardware using VHDL, Computer algebra systems - new strategies and techniques, A functional framework for agent-based models of exchange, A new algorithm for applying fuzzy set theory to evaluate the rate of aggregative risk in software development., On agent-based software engineering, WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model, Testing timed automata, Enhancing the accuracy of software reliability prediction through quantifying the effect of test phase transitions, A first order logic for specification of timed algorithms: Basic properties and a decidable class, Template method test pattern, Human system interface concerns in support system design, Towards a theory of practice in metaheuristics design: A machine learning perspective, Decidable verification for reducible timed automata specified in a first order logic with time
