MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Software Architecture Correctness." – sorted by Relevance.

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

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

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

ATOM

FAMIX 2.0: The FAMOOS Information Exchange Model
by Serge Demeyer, Sander Tichelaar, Er Tichelaar, Patrick Steyaert — 1999
… to correct the problems 5) Reorganisation: transforming the existing software architecture for a new release…
Cited by 11 (4 self) – Add To MetaCart

Definition of a Common Exchange Model
by Serge Demeyer Sander, Er Tichelaar, Patrick Steyaert — 1998
…: selecting new software architectures to correct the problems 5) Reorganisation: transforming the existing…
Add To MetaCart

Incremental Software Construction with Refinement Diagrams
by Ralph-johan Back — 2005 — Engineering Theories of Software Intensive Systems, NATO Science Series II: Mathematics, Physics and Chemistry
… the architecture of a software system, and allows us to reason about the construction and correctness of software…
Cited by 4 (2 self) – Add To MetaCart

Distributed objects in a large scale text processing system
by Ismael Sanz — 1999 — DOA '99 - International Symposium for Distributed Objects and Applications IEEE
… computational objects, and on using a CORBA ORB layer for a distributed software architecture. The correctness…
Cited by 2 (2 self) – Add To MetaCart

G.: Automated and unanticipated flexible component substitution
by Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Guy Tremblay — 2007 — Proc. of 10 th ACM SIGSOFT CBSE. Vol. 4608 of LNCS
… Context and Related Work 2.1 Software Architecture Correctness and Completeness in CBSE Component…
Cited by 1 (1 self) – Add To MetaCart

Definition of a common exchange model
by Serge Demeyer, Er Tichelaar, Patrick Steyaert — 1998
…: selecting new software architectures to correct the problems 5) Reorganisation: transforming the existing…
Cited by 4 (0 self) – Add To MetaCart

A Trace Transformation Technique for Communication Refinement
by Paul Lieverse, Pieter van der Wolf, Ed Deprettere — 2001 — in Proc. International Symposium on Hardware/software CODES'01
…, and mobile devices, a key design step is the definition of a hardware/software architecture that correctly…
Cited by 11 (2 self) – Add To MetaCart

Applying Software Factories to Pervasive Systems: A Platform Specific Framework
by Javier Muñoz, Vicente Pelechano — 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos (Cyprus) 23 - 27, May 2006. pags: 337
… exist. In order to provide a software architecture that correctly fits the requirements of this kind…
Cited by 2 (2 self) – Add To MetaCart

Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations
by Gerhard Goos, Wolf Zimmermann, Fakultat Fur Informatik — 2000
…. Also, the software architecture for correct compilers in past e#orts was specially adapted…
Cited by 3 (0 self) – Add To MetaCart

Improving architectures by Simulation and Animation
by White Paper Improving
… – and verification – an assessment of the internal correctness of the process (e.g., how a software architecture…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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