Вы здесь

Главная

esprit

Связанные издания:

A Case Study Using the IMSE Experimentation Tool
A Decision-Based Configuration Process Environment
Algebraic Methods II: Theory, Tools and Applications
Annex 1. Technical Annex for ESPRIT Basic Research Action 3104.ProCos. Provably Correct Systems. Final Version
Construction and Reuse of Formal Program Developments
ESPRIT. The Synopses of Information Processing Systems and Software
Experiences from Application of a Faceted Classification Scheme
Explanation Strategies in a Tutoring System
Formal Methods in Software Development Requirements for a CASE
Information Systems Development as Knowledge Engineering: A review of the DAIDA Project
MASP: A model for Assisted Software Processes
Requirements Engineering: An Integrated View of Representation, Process, and Domain
Reusing Requirements through a Modeling and Composition Support Tool
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
Systems Engineering Environments of ATMOSPHERE
The KIWIS Knowledge Base Management System
The Stability and Utility of the ESPRIT Project, MUSiC, Performance-Based Indicators of Usability and Tools: An Evaluation of the Usability of the NPL iSDX Telephone System