Logic Control and “Reactive” Systems: Algorithmization and Programming
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Timed Transition Systems , 1991, REX Workshop.
[2] George S. Avrunin,et al. Analyzing Partially-Implemented Real-Time Systems , 1998, IEEE Trans. Software Eng..
[3] Boris Beizer. The architecture and engineering of digital computer complexes , 1971 .
[4] Stephen J. Mellor,et al. Object lifecycles: modeling the world in states , 1992 .
[5] Jonathan P. Bowen,et al. Ten Commandments of Formal Methods , 1995, Computer.
[6] James J. Odell,et al. Advanced object-oriented analysis and design using UML , 1997 .
[7] Hassan Aref,et al. Fluid dynamics: Order in chaos , 1999, Nature.
[8] Paul J. Deitel,et al. C how to program , 1994 .
[9] Nan C. Shu,et al. Visual Programming: Perspectives and Approaches , 1989, IBM Syst. J..
[10] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[11] Michael Boggs,et al. Mastering UML with Rational Rose , 1999 .
[12] A. D. Friedman,et al. Theory and Design of Switching Circuits , 1983 .
[13] David Chenho Kung,et al. On object state testing , 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).
[14] Douglas T. Ross,et al. Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.
[15] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.
[16] Fred P. Brooks,et al. The Mythical Man-Month , 1975, Reliable Software.
[17] Nancy G. Leveson,et al. Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..
[18] Timothy A. Budd,et al. An introduction to object-oriented programming , 1991 .
[19] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[20] M. G. Rodd,et al. Engineering real-time systems , 1995 .
[21] James C. Corbett,et al. Timing Analysis of Ada Tasking Programs , 1996, IEEE Trans. Software Eng..
[22] Øystein Haugen,et al. Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.
[23] Michael Jackson,et al. Where Do Operations Come From: A Multiparadigm Specification Technique , 1996, IEEE Trans. Software Eng..
[24] George S. Avrunin,et al. Analyzing Partially-Implemented Real-Time Systems , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[25] Robert S. Boyer,et al. Program Verification , 1985, J. Autom. Reason..
[26] Luis A. Bryan,et al. Programmable Controllers: Theory and Implementation , 1997 .
[27] Arthur D. Friedman,et al. Theory and Design Switching Circ , 1985 .
[28] Ivar Jacobson,et al. Object-oriented software engineering - a use case driven approach , 1993, TOOLS.
[29] Carlo Ghezzi,et al. Specification of Realtime Systems Using ASTRAL , 1997, IEEE Trans. Software Eng..
[30] M. Arbib,et al. An approach to general systems theory , 1972, IEEE Transactions on Automatic Control.
[31] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .
[32] Grady Booch,et al. Object-Oriented Design with Applications , 1990 .
[33] Christopher R. Clare. Designing logic systems using state machines , 1973 .
[34] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[35] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[36] Andrei Borshchev,et al. COVERS - A Tool for the Design of Real-time Concurrent Systems , 1995, PaCT.
[37] Bruce Powell Douglass,et al. Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .
[38] Bruce Powel Douglass. Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.
[39] Richard A. Kemmerer,et al. State Transition Analysis: A Rule-Based Intrusion Detection Approach , 1995, IEEE Trans. Software Eng..
[40] Kendall Scott,et al. UML distilled - applying the standard object modeling language , 1997 .
[41] Edward Yourdon,et al. Case studies in object-oriented analysis and design , 1975 .
[42] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[43] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[44] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.
[45] Frederick P. Brooks,et al. The Mythical Man-Month: Essays on Softw , 1978 .
[46] Daniel E. Cooke,et al. Unix and Beyond: An Interview with Ken Thompson , 1999, Computer.
[47] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[48] P. Kidwell,et al. The mythical man-month: Essays on software engineering , 1996, IEEE Annals of the History of Computing.
[49] Thomas Hughes. Programmable Controllers , 1997 .
[50] Bran Selic,et al. Real-time object-oriented modeling , 1994, Wiley professional computing.
[51] John Daniels,et al. Designing Object Systems , 1994 .
[52] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .
[53] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[54] Niklaus Wirth. Hardware Compilation: Translating Programs into Circuits , 1998, Computer.
[55] Robert P. Kurshan,et al. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .
[56] Cem Kaner,et al. Testing Computer Software , 1988 .
[57] A. Danthine,et al. Protocol Representation with Finite-State Models , 1980, IEEE Trans. Commun..
[58] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[59] Paul C. Jorgensen,et al. Object-oriented integration testing , 1994, CACM.
[60] Rolv Bræk,et al. Engineering Real Time Systems , 1993 .
[61] John Daniels,et al. Designing object systems: object-oriented modelling with Syntropy , 1995 .
[62] John W. Webb,et al. Programmable Logic Controllers: Principles and Applications , 1994 .
[63] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[64] Duane Schultz,et al. A History of Modern Psychology , 1969 .
[65] Amnon Naamad,et al. Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.
[66] Grady Booch,et al. Object-Oriented Analysis and Design with Applications , 1990 .
[67] George J. Klir,et al. An approach to general systems theory , 1971 .
[68] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[69] James Odell,et al. Approaches go Finite-State Machine Modeling , 1995, J. Object Oriented Program..
[70] Grady Booch,et al. Object-oriented analysis and design with applications (2nd ed.) , 1993 .
[71] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[72] Jr. Frederick P. Brooks,et al. The Mythical Man-Month: Essays on Softw , 1978 .
[73] S. Seshu,et al. Introduction to the theory of finite-state machines , 1963 .
[74] Robert C. Martin. Designing Object Oriented C++ Applications Using The Booch Method , 1995 .
[75] David J. Robson,et al. The state-based testing of object-oriented programs , 1993, 1993 Conference on Software Maintenance.
[76] James C. Corbett,et al. Evaluating Deadlock Detection Methods for Concurrent Software , 1996, IEEE Trans. Software Eng..
[77] Mark A. Ardis,et al. A Framework for Evaluating Specification Methods for Reactive Systems , 1995, 1995 17th International Conference on Software Engineering.
[78] Bran Selic,et al. An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems , 1993, CHDL.
[79] Anany Levitin,et al. Introduction to the Design and Analysis of Algorithms , 2002 .
[80] Derek Coleman,et al. Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design , 1992, IEEE Trans. Software Eng..