See this document in CiteSeerX!

Distributed Real-Time Systems: A Design Environment (1992)  (Make Corrections)  
Abdelmadjid Merabti



  Home/Search   Context   Related

 
View or download:
comp.lancs.ac.uk/pub/re...ThesisAM.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  comp.lancs.ac.uk/computi...theses (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Distributed Real-Time Systems: A Design Environment Abdelmadjid Merabti B.Sc., M.A. Submitted for the degree of Doctor of Philosophy Department of Computing University of Lancaster June 1992 Local area networks are increasingly used as a basis for distributing or integrating functionality in real-time industrial systems, for example in discrete parts manufacturing or in process control. These distributed systems are composed of many parts and having widely different forms and functions.... (Update)

Active bibliography (related documents):   More   All
0.8:   A User Interface Framework for Object-Oriented Database Systems - Sawyer (1990)   (Correct)
0.8:   The Automatic Generation of Software Performance Models From a.. - Hrischuk (1995)   (Correct)
0.6:   The Construction of Meta-Tools for Program Visualization of.. - Kohl (1992)   (Correct)

Similar documents based on text:   More   All
0.0:   A Cognitive Perspective on Teaching Object Oriented Analysis .. - Ryan, Al-Qaimari   (Correct)
0.0:   The Perceptive Workbench: Toward Spontaneous and.. - Leibe, Starner.. (2000)   (Correct)
0.0:   Automatic Classification Of Voice Quality: Comparing Regression.. - Wester (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ merabti-distributed,
  author = "Abdelmadjid Merabti",
  title = "Distributed Real-Time Systems: A Design Environment",
  url = "citeseer.ist.psu.edu/merabti92distributed.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1978
1274   Object-Oriented Software Construction (context) - Meyer - 1988
689   Systematic Software Development using VDM - Jones - 1986
616   Notation - A Reference Manual (context) - Spivey, The - 1989
492   Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
476   Implementing Remote Procedure Calls - Birrell, Nelson - 1984
476   Programming Language (context) - Kernighan, Ritchie et al. - 1988
469   Object Oriented Design with Applications (context) - Booch - 1991
423   End-To-End Arguments in System Design - Saltzer, Reed et al.
366   The Sciences of the Artificial (context) - Simon - 1981
363   Programming in Prolog (context) - Clocksin, Mellish - 1981
340   Software Engineering (context) - Sommerville - 1989
340   Software Engineering (context) - Sommerville - 1985
322   A Spiral Model of Software Development and Enhancement (context) - Boehm - 1988
297   STATEMATE: A Working Environment for the Development of Comp.. - Harel - 1988
239   Monitors: An Operating System Structuring Concept (context) - Hoare - 1974
217   Artificial Intelligence (context) - Rich - 1983
193   Distributed Discrete Event Simulation (context) - Misra - 1986
193   The Mythical Man-Month (context) - Brooks - 1975
187   Ethernet: Distributed Packet Switching for Local Computer Ne.. (context) - Metcalfe, Boggs - 1976
173   The Unix Time Sharing System - Ritchie, Thompson - 1978
160   Abstractions and Specifications in Program Development (context) - Liskov, Guttag - 1986
147   Automating the Design of Graphical Presentations of Relation.. (context) - Mackinlay - 1986
135   Definite Clause Grammars for Language Analysis - A Survey of.. (context) - Pereira, Warren - 1980
129   Computer Based Medical Consultations: MYCIN (context) - Shortliffe - 1976
124   Concepts and Paradigms of Object-Oriented Programming (context) - Wegner - 1990
124   Guardians and Actions: Linguistic Support for Robusts, Distr.. (context) - Liskov, Scheifler - 1983
123   Constructing Distributed Systems in Conic - Magee, Kramer et al. - 1989
122   Performance Analysis Using Stochastic Petri Nets (context) - Molloy - 1992
115   A Blackboard Architecture for Control (context) - Hayes-Roth - 1985
104   Transition Network Grammars for Natural Language Analysis (context) - Woods - 1970
103   Springer-Verlag (context) - Reisig - 1985
99   Hints for Computer System Design - Lampson - 1984
99   Andrew: A Distributed Personal Computing Environment (context) - Morris - 1986
98   Petri Nets (context) - Peterson - 1977
94   Quantitative System Performance: Computer System Analysis Us.. (context) - Lazowska, Zahorjan et al. - 1984
93   Intelligent Assistance for Software Development and Maintena.. (context) - Kaiser, feiler et al. - 1988
91   Smalltalk-80: The Interactive Programming Environment (context) - Goldberg - 1984
88   The X Window System (context) - Scheiffer, Gettys - 1986
88   Structured Design (context) - Yourdon, Constantine - 1979
81   The Design of a Capability-Based Distributed Operating Syste.. (context) - Mullender, Tanenbaum - 1986
78   A Qualitative Physics Based on Confluences (context) - de Kleer, Brown - 1984
78   The Unix Programming Environment (context) - Kernighan, Pike - 1984
74   The Role of Frame-Based Representation in Reasoning (context) - Fikes, Kehler - 1985
72   The Spring Kernel: A New Paradigm for Real-Time Operating Sy.. (context) - Stankovic, Ramamrithan - 1991
72   A Structural View of the Cedar Programming Environment (context) - Swinehart, Zwelleger et al. - 1986
71   Structured Programming (context) - Dahl, Dijkstra et al. - 1972
69   Introduction to Expert Systems (context) - Jackson - 1986
68   Telecommunications Networks: Protocols (context) - Schwartz - 1987
66   The Art of Computer Programming: Fundamental Algorithms (context) - Knuth - 1968
62   Scheduling Tasks with Resource Requirements in Hard Real-Tim.. (context) - Zhao, Ramamrithan et al. - 1987
61   Principles of Program Design (context) - Jackson - 1975
60   Managing the Development of Large Software Systems (context) - Royce - 1987
59   Timing Constraints of Real-Time Systems: Constructs for Expr.. (context) - Dasarathy - 1985
56   The Naive Physics Manifesto (context) - Hayes - 1979
56   Multifacetted Modelling and Discrete Event Simulation (context) - Zeigler - 1984
56   The Requirements Apprentice: Automated Assistance for Requir.. (context) - Reubenstein, Waters - 1991
51   Scheduling Hard Real-Time Systems: A Review - Burns - 1991
49   The Computer Modelling of Mathematical Reasoning (context) - Bundy - 1983
47   XPLAIN: a System for Creating and Explaining Expert Consulti.. (context) - Swartout - 1983
46   Queueing Systems: Theory (context) - Kleinrock - 1975
45   Actors: A Conceptual Foundation for Concurrent Object-Orient.. (context) - Agha, Hewitt - 1987
45   Managing the Development of Large Software Systems: Concepts.. (context) - Royce - 1970
44   Building Flexible Real-Time Systems Using the Flex Language (context) - Kenny, Lin - 1991
44   Architectural Foundations for real-Time Performance in Intel.. (context) - Hayes-Roth - 1990
43   A Guide to Expert Systems (context) - Waterman - 1985
40   Knowledge Representation as the Basis for Requirements Speci.. (context) - Borgida, Greenspan et al. - 1985
40   Measurement and Tuning of Computer Systems (context) - Ferrari, Serazzi et al. - 1983
39   Designing the User Interface: Strategies for Effective Human.. (context) - Schneiderman - 1987
38   Building Application Generators (context) - Cleaveland - 1988
38   The Programmer's Apprentice: A Research Overview (context) - Rich, Waters - 1988
37   Learning and Reasoning by analogy (context) - Winston - 1980
36   Verifying and Validating Software Requirements and Design Sp.. (context) - Boehm - 1984
35   Multiple-Access Protocols and Time-Constrained Communication (context) - Kurose, Schwartz et al. - 1984
34   Models of Software Developments Environments - Perry, Kaiser - 1991
33   The Structure of Ill Structured Problems - Simon - 1973
33   Performance Analysis of Local Computer Networks (context) - Hammond, O'Reilly - 1986
33   Measured Performance of an Ethernet Local Network (context) - Shoch, Hupp - 1980
31   Tutorial Hard Real-Time Systems (context) - Stankovic, Ramamrithan - 1988
28   A Noninvasive Architecture to Monitor Real-Time Distributed .. (context) - Tsai, Fang et al. - 1990
26   The Practical Guide to Structured Systems Design (context) - Page-Jones - 1988
25   Software Process Modeling: Principles of Entity Process Mode.. (context) - Humphrey, Kellner - 1989
21   Systems Simulation Programming Styles and Languages (context) - Kreutzer - 1986
21   Software Development Environments (context) - Dart, Ellison et al. - 1987
21   A New Look at Microkernel-Based UNIX Operating Systems: Less.. (context) - Bricker - 1991
19   Towards Better Models of the Design Process (context) - Mostow - 1985
19   The Maruti Hard Real-Time Operating System (context) - Levi, Tripathi et al. - 1989
18   The Trellis Programming Environment (context) - O'Brien, Halbert et al. - 1987
18   Queueing Analysis of Polling Models (context) - Takagi - 1988
17   Automated Reuse of Design Plans (context) - Mostow, Barley - 1987
17   A Message-Based Approach to Discrete-Event Simulation (context) - Bagrodia, Chandy et al. - 1987
17   Proving Properties of a Safety-Critical System (context) - Atkinson, Cunningham - 1991
15   Process-Translatable Petri Nets for the Rapid Prototyping of.. (context) - Bruno, Marchetto - 1986
15   Modeling and Analysis of Computer Communications Networks (context) - Hayes - 1984
15   Salient Features of an Executable Specification Language and.. (context) - Zave, Schell - 1986
14   DENDRAL and Meta-DENDRAL: Their Applications Dimension (context) - Buchanan, Feigenbaum - 1978
12   What is Object-Oriented Programming - Stroustrup - 1988
12   The Development of the Simula Languages (context) - Nygaard, Dahl - 1981
12   A Critique of the Remote Procedure Call Paradigm (context) - Tanenbaum, van Renesse - 1988
12   Addressing Real-Time Constraints in the Design of Autonomous.. (context) - Howe, Hart et al. - 1990
11   A Perspective on Queueing Models of Computer Performance (context) - Lavenberg - 1987
11   The Knowledge-Based Simulation System (context) - Reddy, Fox et al. - 1986
11   The Process View of Simulation (context) - Franta - 1977
10   An Introduction to Programming in Simula (context) - Pooley - 1987
10   Process Style Packages for Discrete Event Modelling: Using S.. (context) - Birtwistle, Lomow et al. - 1984
10   The Newcastle Connection or UNIXes of the World Unite (context) - Brownbridge, Marshall et al. - 1982
9   The State of the Art in Visual Programming and Program Visua.. (context) - Myers - 1989
9   The Mascot Method (context) - Simpson - 1986
9   Object-Oriented Programming (context) - Rentsch - 1982
8   Building Distributed Systems with Remote Procedure Call (context) - Wilbur, Bacarisse - 1987
8   The Galaxy Distributed Operating System (context) - Sinha - 1991
8   A Serious Problem for Next-Generation Systems (context) - Stankovic - 1988
8   Visual Programming, Programming by Example, and Program Visu.. (context) - Myers - 1986
8   Flow Diagrams, Turing Machines and Language with only Two Fo.. (context) - Bohm, Jacopini - 1966
8   KBRA: A New Paradigm for Requirements Engineering (context) - Czuchry, Harris - 1988
8   An Insider's Evaluation of PAISLey (context) - Zave - 1991
8   Argus Reference Manual - Liskov - 1987
8   The Future of Interactive Systems and the Emergence of Direc.. (context) - Schneiderman - 1982
7   MicroScope: A Knowledge-Based Programming Environment (context) - Ambras, O'Day - 1988
7   PROTOB: an Object-Oriented CASE Tool for Modelling and Proto.. - Baldassari, Bruno et al. - 1991
6   Replicated Data and Partition Failures (context) - Davidson - 1989
6   Communications Support for Distributed Systems OSI versus Sp.. (context) - Danthine - 1989
6   DELAB - A Simulation Laboratory (context) - Livny - 1987
6   Logical Construction of Programs (context) - Warnier - 1979
6   A Survey of Software Design Techniques (context) - Yau, Tsai - 1986
6   Incorporating Multimedia into Distributed Open Systems (context) - Blair, Coulson et al. - 1991
6   The Knowledge-Based Expert System: A Tutorial (context) - Hayes-Roth - 1984
6   A Distributed Computing Environment Framework: An OSF Perspe.. (context) - Curtis-Johnson - 1991
6   An Experimental Study of Load Balancing Performance (context) - Zhou, Ferrari - 1987
6   Experience in Testing the Motif Interface (context) - Su, Ritter - 1991
6   Rule-Based Modeling of the Software Development Process (context) - Kaiser - 1989
5   SARA (System ARchitects Apprentice): Modeling, Analysis, and.. (context) - Estrin, Fenchel et al. - 1986
5   Computer-Aided Modeling, Analysis, and Design of Communicati.. (context) - Kurose, Mouftah - 1988
5   Rapidly Prototyping Real-Time Systems (context) - Berzins - 1988
5   To Engineer is Human (context) - Petroski - 1985
5   An Object-Based Taxonomy for Distributed Computing Systems (context) - Martin, Pedersen et al. - 1991
4   An ObjectOriented Modeling Environment (context) - Page, Berson et al. - 1989
4   Direct Manipulation of an Object Store (context) - Sawyer, Sommerville - 1988
4   A Formal Adaptation Method for Process Descriptions (context) - Inoue, Ogihara et al. - 1989
4   Control of Cognitive Processes during Design: What Tools Wou.. (context) - Guindon, Curtis - 1988
3   Expert Systems: Principles and Case Studies (context) - Forsyth - 1984
3   Expert Systems for Engineering Design (context) - Rychener - 1988
3   Mascot 3: an Informal Introductory Tutorial (context) - Bate - 1986
3   Design Principles for Fault Tolerant Real Time Systems (context) - Kopetz - 1986
3   Applying Synthesis Principles to Create Responsive Software .. (context) - Smith - 1988
3   A Case Study of SREM (context) - Scheffer, Stone et al. - 1985
3   A Heuristic Program to Solve Geometric Analogy Problems (context) - Evans - 1963
3   Ethernet for Real-Time Applications (context) - Hutchison, Merabti - 1987
3   Natural-Language Interfaces (context) - Rich - 1984
3   A Tool Shell for Tracking Design Decisions (context) - Arango, Bruneau et al. - 1991
3   High Speed Networks: the Emergence of Technologies for Multi.. (context) - Cooper - 1991
3   Expert Design of Local Area Networks (context) - Ceri, Tanca - 1990
2   The Entropy of Design: A Study on the Meaning of Creativity (context) - Koomen - 1985
2   Sunview Programmers Guide (context) - Inc - 1986
2   Waiting Lines and Times in a System with Polling (context) - Konheim, Meister - 1974
2   A Distributed Software Prototyping and Simulation Environmen.. (context) - Unger, Dewar et al. - 1986
2   Kiviat Graphs - Conventions and Figures of Merit (context) - Morris - 1974
2   Software Engineering for Distributed Applications: the Desig.. (context) - Muhlhauser - 1988
2   Concepts, Methods, and Languages for Building Timely Intelli.. (context) - Lark - 1990
2   Forecasting Real-Time Behaviour During Software Design using.. (context) - Lauber - 1989
2   Design and Development of Distributed Software using Hierarc.. (context) - Heitz, Labreville - 1988
2   Design Theory and AI Implementations of Design Methodology (context) - Esterline, Riley et al. - 1989
2   Performance Abstract Data Types as a Tool in Software Perfor.. (context) - Booth, Wiecek - 1980
2   Rule-Based versus Structure-Based Models for Explaining and .. (context) - Dhar, Pople - 1987
2   End-To-End Protocol Performance Over Linked Local Area Netwo.. (context) - Lloyd - 1986
2   Local Area Network Architectures (context) - Hutchison - 1988
2   Specifying Requirements: An Introduction to the FOREST Appro.. (context) - Goldsack - 1989
2   Object-Oriented Design Methods (context) - Ormsby - 1991
2   CINERG: A Design Discovery Experiment (context) - Wilkins - 1989
2   Cognitive Research: Uncovering How Designers Design, Cogniti.. (context) - Adelson - 1989
2   The IDeA Design Environment (context) - Lubars - 1989
2   Applying Process Programming to the Spiral Model (context) - Boehm, Belz - 1989
2   The Programmable Network Prototyping System (context) - Cieslak - 1989
1   The computerized Society (context) - Sakamura - 1989
1   Workshop on Case-Based Reasoning (context) - Kolodner - 1988
1   Manufacturing Control via Fieldbus (context) - Skinner, Dunlop et al. - 1989
1   Synthesis Principles for High Performance Software (context) - Smith - 1986
1   Pict: An Interface Graphical Programming Environment (context) - Glinert, Tanimoto - 1984
1   Queueing Systems: Computer Science Applications (context) - Kleinrock - 1976
1   Knowledge Engineering: The Applied Side (context) - Feigenbaum - 1984
1   Understanding Frame Languages, Part II (context) - Finn - 1986
1   Understanding Frame Languages, Part (context) - Finn - 1986
1   Engineering Design (context) - Fielden - 1963
1   A Hierarchical and Functional Approach to Software Process D.. (context) - Katayama - 1989
1   OOD Criteria (context) - Coad - 1991
1   Development Life Cycle of Computer Networks: The Executable .. (context) - Etkin, Zinky - 1989
1   Performance Monitoring in Computer Systems: A Structured App.. (context) - Svobodova - 1981
1   Structure Design (context) - Meyers - 1978
1   The Macintosh Programmer's Workshop (context) - Meyers, Parrish - 1988
1   Learning by Being Told and From Examples (context) - Michalski, Chilausky - 1980
1   What is a Distributed Data Processing System (context) - Enslow - 1978
1   A Large Embedded Systems Project Case Study (context) - Malcolm - 1989
1   Performance Evaluation of Data Communication Systems (context) - Reiser - 1982
1   Expert Systems for Monitoring and Control - Dvorak - 1987
1   Application Layer: Fieldbus Messaging Services (context) - Doebrich, Warrior - 1989
1   Measurements Methods in Packet Switched Networks (context) - Treadwell - 1979
1   Computer-Based Models of Design Processes: The Evaluation of.. (context) - Dixon - 1989
1   Knowledge-Based Simulation at RAND (context) - Rothenberg - 1988
1   Polylith Architecture (context) - Purtilo - 1985
1   Performance Characterisation of Local Area Networks (context) - Armitage, Hutchison et al. - 1990

[Article contains additional citations not shown here]

Documents on the same site (http://www.comp.lancs.ac.uk/computing/research/cseg/theses.html):   More
Software Reclamation: Upgrading Code For Reusability - Garnett (1990)   (Correct)
An Analogical Reasoning Based Mathematics Tutoring System - Spiers (1996)   (Correct)
A Model for Schema Evolution in Object-Oriented Database Systems. - Monk (1993)   (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