Iuga Marin  Home/Search
Context
Related
| cs.ubbcluj.ro/~studiai...10Iuga.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ubbcluj.ro/~studiai/20002... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we have provided a formal model for software systems speci cation and for the software systems composition operation. Using the notion of information system as a basis, we can model any information system using both software services and software interfaces. Doing this, we can develop a formal model for software systems composition. This formal model may be used both in formal speci cation of software systems (structure, functionality, requirements) and in software systems ... (Update)
Active bibliography (related documents): More All
0.5: The ENT Model: A General Model for Software Interface Structuring - Brada (2002) (Correct)
0.2: Rapid Network Management Application Development - Deri (1997) (Correct)
0.2: Yasmin: a Component Based Architecture for Software Applications - Deri (1996) (Correct)
Similar documents based on text: More All
0.1: Detecting Architectural Mismatches . . . - Gacek (1997) (Correct)
0.1: Composition, Superposition, and Encapsulation in the Formal.. - Goldman (1991) (Correct)
0.1: On The Composition Of Condition/Event Systems - Kowalewski, Lakhnech.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ marin-formal,
author = "Iuga Marin",
title = "Formal Model For Software Systems Composition",
url = "citeseer.ist.psu.edu/marin00formal.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Erich, Richard et al. - 1994
71 Structured Programming (context) - Dahl, Dijkstra et al. - 1972
23 Integrating Independently-Developed Components in Object-Ori.. - olzle - 1993
4 Byte Magazine (context) - Udell - 1994
4 Models and Paradigms of Interaction (context) - Peter - 1994
2 Component Based Software Engineering: A Broad Based Model is.. - Parrish - 1999
1 Speci cations Are (context) - Fucs - 1992
1 A Graphical Representation for Software Component Systems (context) - Marin - 1999
1 MSDN Library Visual Studio (context) - Visual, Programmers et al.
1 Extensible Software Systems (context) - Clemens, Dick
Documents on the same site (http://www.cs.ubbcluj.ro/~studia-i/2000-2/): More
A Method For Training Intelligent Agents Using Hidden Markov Models - Serban (2000) (Correct)
A Modification Of The Tseng-Jan Group Signature Scheme - Popescu (2000) (Correct)
An Approximate Algorithm To Estimate Plausible Locations Of.. - Cimoca (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC