MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Requirements Abstraction Model." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

48 documents found, showing 1 through 10. Next 10 →

ATOM

Constraint-based Specification of Complex Components
by C. Buchholz, W. Rosenstiel, Forschungszentrum Informatik
… requires abstract models of IP blocks. The central problem in design by reuse is to find the reusable…
Add To MetaCart

A Model Independent Source Code Repository
by Anthony Cox , Charles Clarke, Susan Sim — 1999 — IN IBM CENTER FOR ADVANCED STUDIES CONFERENCE
… and maintenance, invariably require an abstract model of the source code. This requirement restricts…
Cited by 9 (3 self) – Add To MetaCart

Multi-agent Systems as Intelligent Virtual Environments
by George Anastassakis, Tim Ritchings, Themis Panayiotopoulos — 2001 — In: Proceedings of Advances in Artificial Intelligence, Joint German/Austrian Conference on AI - KI 2001. Volume 2174 of Lecture Notes in Computer Science
… promising computing approaches ever, able to address issues that require abstract modelling and higher level…
Cited by 2 (0 self) – Add To MetaCart

Categorical Data Types
by D. B. Skillicorn — 1993 — IN SECOND WORKSHOP ON ABSTRACT MODELS FOR PARALLEL COMPUTATION
… on refinement or equational transformation. It requires that an abstract model have a sufficiently strong…
Cited by 7 (1 self) – Add To MetaCart

Practical Implications of Traceability
by Mikael Lindvall, Kristian Sandahl — 1996
… abstract models to gain program understanding. We have traced from requirements to abstract models and from…
Cited by 14 (4 self) – Add To MetaCart

Building BSP Programs Using the Refinement Calculus
by D. B. Skillicorn — 1996 — IN FORMAL METHODS FOR PARALLEL PROGRAMMING AND APPLICATIONS, IPPS/SPDP'98, VOLUME 1388 OF LNCS
…-purpose parallel computation requires an abstraction or model that conceals much of the complexity of parallel…
Cited by 4 (2 self) – Add To MetaCart

Modeling and Verification of the RUBIS µ-Kernel with SPIN
by Gregory Duval, Jacques Julliand — 1995 — In Proceedings of the First SPIN Workshop
… by users. As an example of safety requirement of abstract models, we may consider the fact that Ports need…
Cited by 9 (0 self) – Add To MetaCart

Engineering and Theoretical Underpinnings of Retrenchment
by R. Banach, M. Poppleton, Of Retrenchment — 2001
… detail indeed addresses system requirements, then the abstract model cannot have been a complete…
Cited by 3 (2 self) – Add To MetaCart

Modeling and Verification of the RUBIS -Kernel with SPIN
by Jacques Julliand, Gregory Duval Jacques, Gregory Duval — 1995 — In SPIN95 Workshop Proceedings
… be checked with abstract models are only those which are known by users. As an example of safety requirement…
Cited by 4 (0 self) – Add To MetaCart

MDA’s Dimensions
by Rocco Moretti — 2004
… using UML PSM to PIM Transformation ! This transformation is required for abstracting models of existing…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB