Specification of reactive hardware/software systems : the method software/hardware engineering (SHE)

ion of a Problem Domain Specification and Design

[1]  Pierre America,et al.  A proof theory for a sequential version of POOL , 1990 .

[2]  L. P. Deutsch,et al.  Design reuse and frameworks in the smalltalk-80 system , 1989 .

[3]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[4]  Walter L. Hürsch.  Should Superclasses be Abstract? , 1994, ECOOP.

[5]  E. G. Zondag.  Object-orientedness - a survey , 1990 .

[6]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[7]  Robert Balzer,et al.  On the inevitable intertwining of specification and implementation , 1982, CACM.

[8]  Peter J. Robinson.  Hierarchical object-oriented design , 1992 .

[9]  A. Fleischmann.  Distributed Systems , 1994, Springer Berlin Heidelberg.

[10]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[11]  Gunter Saake,et al.  Aggregation in a Behaviour Oriented Object Model , 1992, ECOOP.

[12]  Tomás de Miguel,et al.  From LOTOS to C , 1988, FORTE.

[13]  Jeroen Voeten,et al.  POOSL: a parallel object-oriented specification language , 1994 .

[14]  Peter van Eijk.  The Design of a Simulator Tool , 1989 .

[15]  I Ingrid Mankoe.  Designing a simulator for POOSL , 1996 .

[16]  Alan Burns,et al.  Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems , 1995 .

[17]  Jeroen Voeten,et al.  Object-oriented co-design for hardware/software systems , 1995 .

[18]  Jpm Jeroen Voeten,et al.  CCS and time : a practical and comprehensible approach to a performance evaluation of finite state CCS descriptions , 1995 .

[19]  Dennis de Champeaux,et al.  Object-Oriented Analysis and Top-Down Software Development , 1991, ECOOP.

[20]  Jan Friso Groote,et al.  The Syntax and Semantics of μCRL , 1995 .

[21]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[22]  Eghm Bormans.  Development of an interface for the Manufacturing Message Specification , 1995 .

[23]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[24]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[25]  Jpm Jeroen Voeten.  Semantics of POOSL : an object-oriented specification language for the analysis and design of hardware/software systems , 1995 .

[26]  Richard M. Adler,et al.  Distributed Coordination Models for Client/Server Computing , 1995, Computer.

[27]  Helmuth Partsch,et al.  Specification and Transformation of Programs - A Formal Approach to Software Development , 1990, Texts and Monographs in Computer Science.

[28]  Mahesh H. Dodani,et al.  ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes , 1992, ECOOP.

[29]  van Os Onno Roosmalen,et al.  A hierarchical diagrammatic representation of class structure , 1994 .

[30]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[31]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[32]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[33]  Sjouke Mauw,et al.  PSF : a process specification formalism , 1991 .

[34]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[35]  Alan Snyder.  Encapsulation and inheritance in object-oriented programming languages , 1986, OOPSLA 1986.

[36]  Pierre America,et al.  Operational semantics of a parallel object-oriented language , 1986, POPL '86.

[37]  W. W. Royce,et al.  Managing the development of large software systems: concepts and techniques , 1987, ICSE '87.

[38]  John Werth,et al.  A Specification Language for Object-Oriented Analysis and Design , 1994, ECOOP.

[39]  Rhj Rudi Bloks.  A grammar based approach towards the automatic implementation of data communication protocols in hardware , 1993 .

[40]  G.D. Plotkin,et al.  LCF Considered as a Programming Language , 1977, Theor. Comput. Sci..

[41]  Marc Geilen,et al.  Real-time concepts for Software/Hardware Engineering , 1996 .

[42]  William R. Cook,et al.  Inheritance is not subtyping , 1989, POPL '90.

[43]  Norbert E. Fuchs.  Specifications are (preferably) executable , 1992, Softw. Eng. J..

[44]  W. T. Harwood,et al.  The specification of complex systems , 1986 .

[45]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[46]  Rance Cleaveland,et al.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.

[47]  Giuseppe Scollo,et al.  Lotos specifications, their implementations and their tests , 1995 .

[48]  P. America,et al.  A behavioural approach to subtyping in object-oriented programming languages , 1991 .

[49]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[50]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[51]  Ac Ad Verschueren,et al.  An object-oriented modelling technique for analysis and design of complex (real-time) systems , 1992 .

[52]  Ozalp Babaoglu,et al.  Consistent global states of distributed systems: fundamental concepts and mechanisms , 1993 .

[53]  Robert G. Clark,et al.  Rigorous Object-Oriented Analysis , 1994, ISOOMS.

[54]  Frank Vahid,et al.  Specification and Design of Embedded Hardware-Software Systems , 1995, IEEE Des. Test Comput..

[55]  P.H.A. van der Putten.  Multidisciplinair specificeren en ontwerpen van microelektronica in produkten , 1993 .

[56]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[57]  Bill Roscoe,et al.  An Operational Semantics for CSP , 1986 .

[58]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[59]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[60]  William R. Cook,et al.  A Proposal for Making Eiffel Type-Safe , 1989, Comput. J..

[61]  P.H.M. America,et al.  A parallel object-oriented language: design and semantic foundations , 1989 .

[62]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[63]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[64]  T. de Miguel,et al.  The implementation of a specification language for OSI systems , 1988, 1988 International Zurich Seminar on Digital Communications - Mapping New Applications onto New Technologies. Proceedings.

[65]  Andrew T. F. Hutt,et al.  Object analysis and design: description of methods , 1994 .

[66]  R. J. Huis in 't Veld,et al.  Developing a design framework for communication systems , 1994 .

[67]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[68]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[69]  Martin S. Feather,et al.  A survey and classification of some program transformation approaches and techniques , 1987 .

[70]  Matthew Hennessy,et al.  Semantics of programming languages - an elementary introduction using structural operational semantics , 1990 .

[71]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[72]  M. P. J. Stevens,et al.  Behaviour-preserving transformations in SHE: a formal approach to architecture design , 1996, Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.

[73]  D. J. Walker,et al.  Bisimulations and divergence , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[74]  Franco Civello,et al.  Roles for composite objects in object-oriented analysis and design , 1993, OOPSLA '93.

[75]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[76]  Gerard J. Holzmann,et al.  Design and Validation of Protocols: A Tutorial , 1993, Comput. Networks ISDN Syst..

[77]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[78]  Derek Coleman,et al.  Coherent models for object-oriented analysis , 1991, OOPSLA '91.

[79]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[80]  Peter Wegner,et al.  Concepts and paradigms of object-oriented programming , 1990, OOPS.

[81]  Karl J. Lieberherr,et al.  Object-oriented design , 1996, CSUR.

[82]  Pierre America,et al.  A parallel object-oriented language with inheritance and subtyping , 1990, OOPSLA/ECOOP '90.

[83]  Jpm Jeroen Voeten,et al.  CCSTOOL2 : an expansion, minimization and verification tool for finite state CCS descriptions , 1994 .

[84]  Øystein Haugen,et al.  Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.

[85]  Jan A. Bergstra,et al.  Conditional axioms and α/β-calculus in process algebra , 1987, Formal Description of Programming Concepts.