Les Outils Logiciels De Conception De SystèMes Informatiques: Concepts De Base Et ProblèMes

References

• AD CAD (1986). STATEMATEl: A Complete Environment for the Specification, Design and Analysis of Real-Time Systems. Cambridge, Ma.
   Google Scholar
• Arango, G. and P. Freeman (1985). Modeling knowledge for software development. Proceedings of the 3rd International Workshop on Software Specification and Design, London, 63–66.
   Google Scholar
• Balzer, R. (1985). The role of logic and Al in the software entreprise. Proceedings of the 8th International Conference on Software Engineering, London, 394.
   Google Scholar
• Barr, A. and E.A. Feigenbaum (1982). The Handbook of Artificial Intelligence. William Kaufmann, Inc., Los Altos, CA, Vol. 2, 295–379.
   Google Scholar
• Barstow, D. (1987). Artificial intelligence and software engineering. Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, 200–211.
   Google Scholar
• Barstow, D., P. Barth, P. Dietz, R. Dinitz, and S. Greenspan (1985). Observations on specifications and automatic programming. Proceedings of the 3rd International Workshop on Software Specification and Design, London, 89–90.
   Google Scholar
• Bernstein, P.A. (1987). Database system support for software engineering. Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, 166–178.
   Google Scholar
• Boehm, B.W. (1976). Software engineering. IEEE Transactions on Computers, C-25 (12), nie-U'M.
   Google Scholar
• Boehm, B.W. (1984). Verifying and validating software requirements and design specifications. IEEE Software, 1 (1), 75–88.
   Google Scholar
• Borgida, A., J. Mylopoulos, and H.K.T. Wong (1984). Generalization/specialization as a basis for software specification. In On Conceptual Modeling, Perspectives from Artificial Intelligence, Databases and Programming Languages. Ed. by M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, Springer-Verlag, New York, 87–114.
   Google Scholar
• Borgida, A., S. Greenspan, and J. Mylopoulos (1985). Knowledge representation as the basis for requirements specifications. Computer, 18 (4), 82–91.
   Google Scholar
• Bouzeghoub, M. and G. Gardarin (1983). The design of an expert system for database design. Proceedings of the 1st International Workshop on New Application of Databases, Cambridge, UK, 203–223.
   Google Scholar
• Brinch Hansen, P. (1970). The nucleus of a multiprogramming system. Communications of the ACM, 13 (4), 238–241.
   Google Scholar
• Burstall, R. and J. Goguen (1979). The semantics of Clear, a specification language. Abstract Software Specifications, Lecture Notes in Computer Science, No. 86, D. Bjomer, Ed., Springer-Verlag, New York, 292–331.
   Google Scholar
• Caine, S.H. and K. Gordon (1975). PDL - A tool for software design. Proceedings of the National Computer Conference, AFIPS, Arlington, 271–276.
   Google Scholar
• Card, D.N., V.E. Church, and W.W. Agresti (1986). An empirical study of software design practices. IEEE Transactions on Software Engineering, SE-12 (2), 264–271.
   Google Scholar
• Chen, P.P. (1976). The entity-relationship model: toward a unified view of data. ACM Transactions on Database Systems, 1 (1), 9–36.
   Google Scholar
• Dart, S.A., R.J. Ellison, P.H. Feiler, and A.N. Habermann (1987). Software development environments. Computer, 20 (11), 18–28.
   Google Scholar
• de Drouas, E. et J.-M. Nerson (1982). Les ateliers logiciels integres: developpements francais actuels. T.S.L, 1 (3), 211–232.
   Google Scholar
• DeMarco, T. (1978). Structured Analysis and System Specification. Yourdon Press, New York.
   Google Scholar
• DeMarco, T. (1979). Concise Notes on Software Engineering. Yourdon Press, New York.
   Google Scholar
• DMR (1985). Guide de developpement d'un systeme d'information, partie 2 le developpement du systeme. Ducros, Meilleur, Roy & Associes Ltee, deuxieme edition, Montreal.
   Google Scholar
• Dowson, M. (1986). ISTAR – An integrated project support environment. Proceedings of the Second ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, 27–33.
   Google Scholar
• Estrin, G., R.S. Fenchel, R.R. Razouk, and M.K. Vemon (1986). SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems. IEEE Transactions on Software Engineering, SE-12 (2), 293–311.
   Google Scholar
• Freeman, P. and A.I. Wasserman (1982). Software Development Methodologies and Ada. Department of Defense – Ada Joint Program Office, Report Number AD/A123 710.
   Google Scholar
• Frenkel, K.A. (1985). Toward automating the software development cj'cle. Communications of the ACM, 28 (6), 578–589.
   Google Scholar
• Gallo, F., R. Minot, and I. Thomas (1986). The object management system of PCTE as a software engineering database management system. Proceedings of the Second ACM SIGSOET/ SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, 12–15.
   Google Scholar
• Gill, A. (1962). Introduction to the Theory of Finite State Machines. McGraw-Hill, New York.
   Google Scholar
• Gomaa, H. (1984). A software design method for real-time systems. Communications of the ACM, 27 (9), 938–949.
   Google Scholar
• Greenspan, S.J. (1984). Requirements Modeling: a Knowledge Representation Approach to Software Requirements Definition. Ph.D. thesis. Technical Report CSRG-155, University of Toronto.
   Google Scholar
• Gries, D. (1981). The Science of Programming. Springer-Verlag, New York.
   Google Scholar
• Guttag, J.V. (1977). Abstract data types and the development of data structures. Communications of the ACM, 20 (6), 397–404.
   Google Scholar
• Hamilton, M. and S. Zeldin (1976). Higher order software – A methodology for defining software. IEEE Transactions on Software Engineering, SE-2 (1), 9–32.
   Google Scholar
• Hamilton, M. and S. Zeldin (1983). The functional life cycle model and its automation: USE.IT. The Journal of Systems and Software, 3 (1), 25–6–2.
   Google Scholar
• Harandi, M.T. and M.D. Lubars (1985). A knowledge based design aid for software systems. Proceedings ofSoftfair Conference II, San Francisco, 67–74.
   Google Scholar
• Harel, D, (1984). Statecharts: A Visual Approach to Complex Systems. Technical Report Number CS84–05, Department of Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel.
   Google Scholar
• Hoffnagle, G.F. and W.E. Beregi (1985). Automating the software development process. IBM Systems Journal, 24 (2), 102–120.
   Google Scholar
• Howden, W.E. (1982). Contemporary software development environments. Communications of the ACM, 25 (5), 318–329.
   Google Scholar
• Jackson, M.A. (1975). Principles of Program Design. Academic Press, New York.
   Google Scholar
• Kant, E. (1985). Understanding and automating algorithm design. IEEE Transactions on Software Engineering, SE-U (11), 1361–1374.
   Google Scholar
• Kemmerer, R. (1980). PDM – A Specification and Verification Methodology. System Development Corporation Report SP–408 8/000/00.
   Google Scholar
• Krell, E. and E. Lor (1985). Current state of the SARA/IDEAS design environment. Proceedings ofSoftfair Conference II, San Francisco, 218–230.
   Google Scholar
• Leung, C.H.C. and Q.H. Choo (1985). A knowledge-base for effective software specification and maintenance. Proceedings of the 3rd International Workshop on Software Specification and Design, London, 139–142.
   Google Scholar
• Liskov, B. and S. Zilles (1975). Specification techniques for data abstraction. IEEE Transactions on Software Engineering, SE-1 (1), 7–19.
   Google Scholar
• Ludewig, J. and H. Matheis (1987). Specification techniques for real-time systems. Computer Standards & Interfaces, 6 (1), 115–133.
   Google Scholar
• Moriconi, S.M. (1979). A designer/verifier's assistant. IEEE Transactions on Software Engineering, SE-5 (4), 387–401.
   Google Scholar
• Mostow, J. (1985). What is Al? And what does it have to do with software engineering? IEEE Transactions on Software Engineering, SE-11 (11), 1253–1256.
   Google Scholar
• Nassi, L and B. Shneiderman (1973). Flowchart techniques for structured programming. ACM SIGPLAN Notices, 8 (8), 12–26.
   Google Scholar
• Parnas, D. (1972). On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15 (12), 1053–1058.
   Google Scholar
• Penedo, M.H. (1986). Prototyping a project master database for software engineering environments. Proceedings of the Second ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, 1–11.
   Google Scholar
• Perlis, A.J. (1985). Another view of software. Proceedings of the 8th International Conference on Software Engineering, London, 395–396.
   Google Scholar
• Peterson, J.L. (1981). Petri Net Theory and the Modelling of Systems. Prentice-Hall, Englewood ClifFs, NJ.
   Google Scholar
• Ramamoorthy, C.V., V. Garg, and A. Prakash (1986). Programming in the large. IEEE Transactions on Software Engineering, SE–12 (7), 769–783.
   Google Scholar
• Redwine Jr., S.T., L.G. Becker, A.B. Marmor-Squires, R.J. Martin, S.H. Nash, and W.E. Riddle (1984). DoD Related Software Technology, Requirements, Practices, and Prospects for the Future. IDA Paper P–1788, Institute for Defense Analysis.
   Google Scholar
• Reiss, S.P. (1984). Graphical program development with PECAN program development systems. Proceedings of the A CM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburg, 30–41.
   Google Scholar
• Riddle, W.E., J.C. Wileden, J.H. Sayler, A.R. Segal, and A.M. Stavely (1978). Behaviour modeling during software design. IEEE Transactions on Software Engineering, SE-4 (4), 283–292.
   Google Scholar
• Robillard, P.N. (1985). A software tool and a schematic notation that improve the use of programming languages. Proceedings ofSoftfair Conference II, San Francisco, 149-158.
   Google Scholar
• Robillard, P.N. (1986). Schematic pseudocode for program constructs and its computer automation by SCHEMACODE. Communications of the ACM, 29 (11), 1072–1089.
   Google Scholar
• Robillard, P.N. and J.-L. Houle (1985). Schemacode, a software tool to design or to retrofit programs. Conference on Software Tools, New York, 118–123.
   Google Scholar
• Rosenberg, D. (1985). PRISM – Productivity improvement for software engineers and managers. Proceedings of the 8th International Conference on Software Engineering, London, 2–7.
   Google Scholar
• Roy, P. and R. St-Denis (1976). Linear flowchart generator for a structured language. ACM Sigplan Notices, 11 (11), 58–64.
   Google Scholar
• St-Denis, R. and P.N. Robillard (1987). An approach to knowledge-driven system software development. Proceedings of the 4th International Workshop on Software Specification and Design, Monterey, CA, 95–99.
   Google Scholar
• Schindler, M. (1981). Today's software tools point to tomorrow's toll systems. Electronic Design, 29 (7), 73–110.
   Google Scholar
• Sievert, G.E. and T.A. Mizell (1985). Specification-based software engineering with TAGS. Computer, 18 (4), 56–65.
   Google Scholar
• Soloway, E. (1984). A cognitively-based methodology for designing languages/environments/ methodologies. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, 193–196.
   Google Scholar
• Sowa, J.F. (1984). Conceptual Structures – Information Processing in Mind and Machine. Addison Wesley, Reading, MA.
   Google Scholar
• Smith, D.R., G.B. Kotik, and S.J. Westfold (1985). Research on knowledge-based software environments at Kestrel Institute. Transactions on Software Engineering, SE–11 (11), 1278–1295.
   Google Scholar
• Stanley, M.T. (1986). CML: A Knowledge Representation Language with Application to Requirements Modeling. Master thesis. Department of Computer Science, University of Toronto.
   Google Scholar
• Teplitzky, P. (1979). An approach for choosing a programming specification methodology. COMPSAC, 128–135.
   Google Scholar
• van Lamsweerde, A., M. Buyse, B. Delcourt, E. Delor, M. Ervier, M.C. Schayes, J.P. Bouquelle, R. Champagne, P. Nisole, and J. Seldeslachts (1986). The kernel of a generic software development environment. Proceedings of the Second ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, 208–217.
   Google Scholar
• Vefsnmo, E.A.M. (1985). DASOM - A software engineering tool for communication applications increasing productivity and software quality. Proceedings of the 8th International Conference on Software Engineering, London, 26–33.
   Google Scholar
• Vosbury, N.A. (1984). Process design. In Handbook of Software Engineering, Edited hy C.R. Vick and C.V. Ramamoorthy, Van Nostrand Reinhold, New York, 544–564.
   Google Scholar
• Warnier, J.D. (1974). Logical Construction of Programs. Van Nostrand Reinhold Co., New York, 3rd Ed.
   Google Scholar
• Wasserman, A.L (1985). Extending state transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering, SE-11 (8), 699–713.
   Google Scholar
• Wasserman, A.L and P.A. Pircher (1986). A graphical extensible integrated environment for software development. Proceedings of the Second ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, 131–142.
   Google Scholar
• Yau, S.S. and J.J.-P. Tsai (1986). A survey of software design techniques. IEEE Transactions on Software Engineering, SE-12 (6), 713–721.
   Google Scholar
• Yourdon, E. (1975). Techniques of Program Structure and Design. Prentice-Hall, Englewood Cliffs, NJ.
   Google Scholar
• Yourdon, E. and L.L. Constantine (1979). Structured Design: Fundamentals of a Discipline of Computer and Systems Design. Prentice-Hall, Englewood Cliflfs, NJ.
   Google Scholar