Configuration programming-a framework for the development of distributable systems
暂无分享,去创建一个
[1] Gail E. Kaiser,et al. Garp: Graph Abstractions for Concurrent Programming , 1988, ESOP.
[2] Jeff Magee,et al. Dynamic Configuration for Distributed Systems , 1985, IEEE Transactions on Software Engineering.
[3] Heinz Mühlenbein,et al. Network Programming with MUPPET , 1988, J. Parallel Distributed Comput..
[4] Morris Sloman,et al. The Conic toolkit for building distributed systems , 1987 .
[5] Amnon Naamad,et al. Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.
[6] Hassan Gomaa. A software design method for distributed real-time applications , 1989, J. Syst. Softw..
[7] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
[8] Insup Lee,et al. Partitioning of Massive/Real-Time Programs for Parallel Processing , 1986, Adv. Comput..
[9] Dewayne E. Perry. The inscape environment , 1989, ICSE '89.
[10] Naranker Dulay,et al. A configuration language for distributed programming , 1990 .
[11] Pamela Zave,et al. An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.
[12] Robert Balzer,et al. A 15 Year Perspective on Automatic Programming , 1985, IEEE Transactions on Software Engineering.
[13] Jeff Magee,et al. Graphical configuration programming , 1989, Computer.
[14] Joseph A. Goguen,et al. Reusing and Interconnecting Software Components , 1986, Computer.
[15] Hans H. Kron,et al. Programming-in-the-Large Versus Programming-in-the-Small , 1975 .
[16] Larry Carter,et al. Distrbution and Abstract Types in Emerald , 1987, IEEE Transactions on Software Engineering.
[17] Harold Ossher. A Case Study in Structure Specification: A Grid Description of Scribe , 1989, IEEE Trans. Software Eng..
[18] Pamela Zave,et al. A compositional approach to multiparadigm programming , 1989, IEEE Software.
[19] M. Sloman,et al. Configuration support for system description, construction and evolution , 1989, IWSSD '89.
[20] Morris Sloman,et al. Constructing Distributed Systems in Conic , 1989, IEEE Trans. Software Eng..
[21] Bruce W. Weide,et al. STILE: A Graphical Design and Development Environment , 1987, COMPCON.
[22] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[23] Colin Potts,et al. Tool support for requirements analysis , 1988, Softw. Eng. J..
[24] Anthony Finkelstein,et al. A constructive approach to the design of distributed systems , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.
[25] Thomas J. LeBlanc,et al. HPC: A model of structure and change in distributed systems , 1985, IEEE Transactions on Computers.
[26] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.
[27] Morris Sloman,et al. The CONIC toolkit for building distributed systems , 1985 .
[28] Jeannette M. Wing,et al. Programming at the processor-memory-switch level , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
[29] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[30] Glenn H. MacEwen,et al. RNet: A Hard Real-Time Distributed Programming System , 1987, IEEE Transactions on Computers.
[31] Hans H. Kron,et al. Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.
[32] J. Castro,et al. Temporal-causal system specification , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.
[33] Friedemann Mattern,et al. Key Concepts of the INCAS Multicomputer Project , 1987, IEEE Transactions on Software Engineering.
[34] Arthur B. Maccabe,et al. The design of a programming language based on connectivity networks , 1982, ICDCS.
[35] M. M. Lehman,et al. Another look at software design methodology , 1984, SOEN.
[36] Richard C. Waters,et al. Automatic programming: myths and prospects , 1988, Computer.
[37] Jeff Magee,et al. The Evolving Philosophers Problem: Dynamic Change Management , 1990, IEEE Trans. Software Eng..