A Logic-based Framework for Software Construction

Jazaa, 1995, Toward Better Software Automation, Software Engineering Notes, 20, 79, 10.1145/225907.225918 Corssini, 1995, An Implementation of Storage Management in Capability Environments, Software-Practice and Experience, 25, 501, 10.1002/spe.4380250503 DeRemer, 1976, Programming-in-the-Large Versus Programming-in-the-Small, IEEE Transactions on Software Engineering, 321 1987 Narayanaswamy, 1987, Maintaining Configurations of Evolving Software Systems, IEEE Transaction on Software Engineering, 13, 10.1109/TSE.1987.233163 Baalbergen, 1989, On the Design of the Amoeba Configuration Manager, Proceedings of the 2nd International Workshop on Software Configuration Management, 17, 15, 10.1145/72910.73340 Prieto-Diaz, 1982 Prieto-Diaz, 1986, Module Interconnection Languages, The Journal of Systems and Software, 6, 307, 10.1016/0164-1212(86)90002-6 Tichy, 1988, Tools for Software Configuration Management, 1 Sully, 1993 Loy, 1993, The Method Won't Save You, Software Engineering Notes, 18, 30, 10.1145/157397.157398 Lam, 1994, A Theory of Interfaces and Modules I-Composition Teorem, IEEE Transactions on Software Engineering, 20, 55, 10.1109/32.263755 Goguen, 1986, 16 Adams, 1989, Software Change or Half of All Ada Compilations are Redundant, European Software Engineering Conference Hitchcock, 1988, A Database view of the PCTE and ASPECT, 37 Jordan, 1989, Experience in Configuration Management for Modula 2, Proceedings of the 2nd International Workshop on Software Configuration Management, 17, 126, 10.1145/72910.73358 1989, Rationale for the Change between PCTE+(issue 3) and PCTE (Version 1.5), IEPG TA- 13 Babel, 1995, Isomorphism of Chordal Graphs, Computing, 54, 303, 10.1007/BF02238229