Handbook of Software Engineering and Knowledge Engineering

[1]  Peter P. Chen.  The entity-relationship model—toward a unified view of data , 2011, TODS.

[2]  Bill Curtis,et al.  Human factors in software development , 2002 .

[3]  Nora Koch,et al.  A UML-based Methodology for Hypermedia Design , 2000, UML.

[4]  Nuno Jardim Nunes,et al.  Towards a UML profile for interaction design: the Wisdom approach , 2000, UML.

[5]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[6]  Patricia Vilain,et al.  A Diagrammatic Tool for Representing User Interaction in UML , 2000, UML.

[7]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

[8]  Norman W. Paton,et al.  UMLi: The Unified Modeling Language for Interactive Applications , 2000, UML.

[9]  Malcolm Munro,et al.  Virtual but visible software , 2000, 2000 IEEE Conference on Information Visualization. An International Conference on Computer Visualization and Graphics.

[10]  Enrico Motta,et al.  PlanetOnto: From News Publishing to Integrated Knowledge Management Support , 2000, IEEE Intell. Syst..

[11]  Daniel Jackson,et al.  Software analysis: a roadmap , 2000, ICSE '00.

[12]  Natalia Juristo Juzgado,et al.  Introductory paper: Reflections on Conceptual Modelling , 2000, Data Knowl. Eng..

[13]  Graham King,et al.  Software Engineering Processes: Principles and Applications , 2000 .

[14]  Rogério Ferreira Rodrigues,et al.  Modeling, authoring and formatting hypermedia documents in the HyperProp system , 2000, Multimedia Systems.

[15]  Marek Hatala,et al.  Integrating working and enrichment approach learning: A document , 2000, Behav. Inf. Technol..

[16]  Gultekin Özsoyoglu,et al.  Constraint-based automation of multimedia presentation assembly , 1999, Multimedia Systems.

[17]  Nora Koch,et al.  Towards a UML Extension for Hypermedia Design , 1999, UML.

[18]  Gregor Engels,et al.  Extending UML for modeling of multimedia applications , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[19]  Hermann Kaindl,et al.  Difficulties in the Transition from OO Analysis to Design , 1999, IEEE Softw..

[20]  Raymond E. Miller,et al.  Interactive authoring of multimedia documents in a constraint-based authoring system , 1999, Multimedia Systems.

[21]  Claire Knight,et al.  Visualizing Software - A Key Research Area , 1999 .

[22]  Elisa Bertino,et al.  Modeling Spatio-Temporal Constraints for Multimedia Objects , 1999, Data Knowl. Eng..

[23]  Alessandro Bianchi,et al.  Issues in design and implementation of multimedia software systems , 1999, Proceedings IEEE International Conference on Multimedia Computing and Systems.

[24]  Timothy Arndt,et al.  The evolving role of software engineering in the production of multimedia applications , 1999, Proceedings IEEE International Conference on Multimedia Computing and Systems.

[25]  Bashar Nuseibeh,et al.  An empirical investigation of multiple viewpoint reasoning in requirements engineering , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[26]  Larry L. Constantine,et al.  Software for Use - A Practical Guide to the Models and Methods of Usage-Centered Design , 1999 .

[27]  Deborah J. Mayhew,et al.  The usability engineering lifecycle , 1999, CHI Extended Abstracts.

[28]  Roel Wieringa,et al.  A survey of structured and object-oriented software specification methods and techniques , 1998, CSUR.

[29]  Loe M. G. Feijs,et al.  3D visualization of software architectures , 1998, CACM.

[30]  Rob Gordon,et al.  Essential JMF - Java Media Framework , 1998 .

[31]  Myla Archer,et al.  Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications , 1998, IEEE Trans. Software Eng..

[32]  Gustavo Rossi,et al.  An Object Oriented Approach to Web-Based Applications Design , 1998, Theory Pract. Object Syst..

[33]  Dieter Fensel,et al.  Developing Knowledge-Based Systems with MIKE , 1998, Automated Software Engineering.

[34]  Philipp Hoschka,et al.  An Introduction to the Synchronized Multimedia Integration Language , 1998, IEEE Multim..

[35]  Bashar Nuseibeh,et al.  Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.

[36]  Masahiro Hori,et al.  Domain-oriented library of scheduling methods: design principle and real-life application , 1998, Int. J. Hum. Comput. Stud..

[37]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[38]  Brian P. Bailey,et al.  Nsync—a toolkit for building interactive multimedia presentations , 1998, MULTIMEDIA '98.

[39]  Elisa Bertino,et al.  Temporal Synchronization Models for Multimedia Data , 1998, IEEE Trans. Knowl. Data Eng..

[40]  Peter Young,et al.  Visualising software in virtual reality , 1998, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242).

[41]  Srdjan Kovacevic,et al.  UML and User Interface Modeling , 1998, UML.

[42]  David A. Duce,et al.  A standard model for multimedia synchronization: PREMO synchronization objects , 1998, Multimedia Systems.

[43]  Stuart Kent,et al.  Constraint Diagrams: Visualizing Invariants in OO Modelling , 1997, OOPSLA 1997.

[44]  Adele E. Howe,et al.  Program understanding behaviour during enhancement of large-scale software , 1997, J. Softw. Maintenance Res. Pract..

[45]  John Mylopoulos,et al.  Representing Software Engineering Knowledge , 1997, Automated Software Engineering.

[46]  Reidar Conradi,et al.  Assessing process-centered software engineering environments , 1997, TSEM.

[47]  Bram van der Vos,et al.  NL Structures and Conceptual Modelling: Grammalizing for KISS , 1997, Data Knowl. Eng..

[48]  Tim Menzies,et al.  Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models , 1997, Artif. Intell. Medicine.

[49]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[50]  Hausi A. Müller,et al.  Cognitive design elements to support the construction of a mental model during software visualization , 1997, Proceedings Fifth International Workshop on Program Comprehension. IWPC'97.

[51]  Malcolm Munro,et al.  PUI: a tool to support program understanding , 1997, Proceedings Fifth International Workshop on Program Comprehension. IWPC'97.

[52]  Manfred Aben,et al.  Applying a library of problem-solving methods on a real-life task , 1997, Int. J. Hum. Comput. Stud..

[53]  M. Crossley,et al.  Three-dimensional Internet developments , 1997 .

[54]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[55]  Lawrence A. Rowe,et al.  The Berkeley continuous media toolkit , 1997, MULTIMEDIA '96.

[56]  Alan M. Davis,et al.  Elements underlying the specification of requirements , 1997, Ann. Softw. Eng..

[57]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[58]  Ivan Herman,et al.  Premo: An Emerging Standard for Multimedia Presentation, Part II: Specification & Applications , 1996, IEEE Multim..

[59]  Ephraim P. Glinert,et al.  Multimodal Integration , 1996, IEEE Multim..

[60]  Luigi Portinale,et al.  Using Compiled Knowledge to Guide and Focus Abductive Diagnosis , 1996, IEEE Trans. Knowl. Data Eng..

[61]  David Notkin,et al.  Model checking large software specifications , 1996, SIGSOFT '96.

[62]  D. H. Kitson,et al.  Relating the SPICE framework and SEI approach to software process assessment , 1996, Software Quality Journal.

[63]  Joseph Sifakis,et al.  Model checking , 1996, Handbook of Automated Reasoning.

[64]  Ivan Herman,et al.  Premo: An Emerging Standard for Multimedia Presentation Part I: Overview and Framework , 1996, IEEE MultiMedia.

[65]  Carlo Ghezzi,et al.  A framework for formalizing inconsistencies and deviations in human-centered systems , 1996, TSEM.

[66]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[67]  Andreas Zamperoni,et al.  GRIDS-GRaph-based, integrated development of software: integrating different perspectives of software engineering , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[68]  Mike Phillips,et al.  Software Capability Evaluation Version 3.0 Method Description , 1996 .

[69]  Roel Wieringa,et al.  Requirements Engineering: Frameworks for Understanding , 1996 .

[70]  Ned Chapin,et al.  Effective Size: An Example of Use from Legacy Systems , 1996, J. Softw. Maintenance Res. Pract..

[71]  Max Mühlhäuser,et al.  Issues in multimedia software development , 1996, MMSD.

[72]  Bashar Nuseibeh,et al.  To be and not to be: on managing inconsistency in software development , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[73]  Joseph George,et al.  A strategy for mapping from function-oriented software models to object-oriented software models , 1996, SOEN.

[74]  Jay T. Runkel,et al.  Solving VT by reuse , 1996, Int. J. Hum. Comput. Stud..

[75]  Arthur Stutt,et al.  Solving VT in VITAL: a study in model construction and knowledge reuse , 1996, Int. J. Hum. Comput. Stud..

[76]  Gregg R. Yost,et al.  Configuring elevator systems , 1996, Int. J. Hum. Comput. Stud..

[77]  Matthias Jarke,et al.  Managing Multiple Requirements Perspectives with Metamodels , 1996, IEEE Softw..

[78]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[79]  Hausi A. Müller,et al.  Manipulating and documenting software structures using SHriMP views , 1995, Proceedings of International Conference on Software Maintenance.

[80]  Agnar Aamodt,et al.  Different Roles and Mutual Dependencies of Data, Information, and Knowledge - An AI Perspective on their Integration , 1995, Data Knowl. Eng..

[81]  Tomás Isakowitz,et al.  RMM: a methodology for structured hypermedia design , 1995, CACM.

[82]  Ahmed Karmouch,et al.  A Temporal Model for Interactive Multimedia Scenarios , 1995, IEEE Multim..

[83]  Daniele Theseider Dupré,et al.  The role of abduction in database view updating , 1995, Journal of Intelligent Information Systems.

[84]  Sergio Bandinelli,et al.  Modeling and Improving an Industrial Software Process , 1995, IEEE Trans. Software Eng..

[85]  Dennis Dingeldein,et al.  Modeling Multimedia-Objects with MME , 1995, Workshop on Object-Oriented Graphics.

[86]  Constance L. Heitmeyer,et al.  Consistency checking of SCR-style requirements specifications , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[87]  Sylvie Szulman,et al.  Acquisition and validation of software requirements , 1994 .

[88]  Bob J. Wielinga,et al.  CommonKADS: a comprehensive methodology for KBS development , 1994, IEEE Expert.

[89]  Panagiotis K. Linos,et al.  A tool for understanding object-oriented program dependencies , 1994, Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94.

[90]  Victor R. Basili,et al.  Characterizing and Assessing a Large-Scale Software Maintenance Organization , 1994, 1995 17th International Conference on Software Engineering.

[91]  Barry Boehm,et al.  A collaborative spiral software process model based on Theory W , 1994, Proceedings of the Third International Conference on the Software Process. Applying the Software Process.

[92]  Reidar Conradi,et al.  Concepts for evolving software processes , 1994 .

[93]  Reidar Conradi,et al.  EPOS: object-oriented cooperative process modelling , 1994 .

[94]  Carlo Ghezzi,et al.  SPADE: an environment for software process analysis, design, and enactment , 1994 .

[95]  Claude Godart,et al.  ALF: a framework for building process-centred software engineering environments , 1994 .

[96]  Flavio Bonfatti,et al.  Towards a General Purpose Approach to Object-Oriented Analysis , 1994, ISOOMS.

[97]  Edmund M. Clarke,et al.  Model checking and abstraction , 1994, TOPL.

[98]  Samson W. Tu,et al.  Mapping domains to methods in support of reuse , 1994, Int. J. Hum. Comput. Stud..

[99]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[100]  Van de velde Breuker.  Common KADS Library for Expertise Modelling , 1994 .

[101]  Matthias Hemmje,et al.  LyberWorld—a visualization user interface supporting fulltext retrieval , 1994, SIGIR '94.

[102]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[103]  Kurt Rothermel,et al.  Representing time in multimedia systems , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[104]  Ted J. Biggerstaff,et al.  Program understanding and the concept assignment problem , 1994, CACM.

[105]  Stephen G. Eick,et al.  Engineering Perceptually Effective Visualizations for Abstract Data , 1994, Scientific Visualization.

[106]  Jakob Nielsen,et al.  Usability inspection methods , 1994, CHI 95 Conference Companion.

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

[108]  Jawed I. A. Siddiqi,et al.  Challenging universal truths of requirements engineering , 1994, IEEE Software.

[109]  Bob J. Wielinga,et al.  Conceptual Modelling of Large Reusable Knowledge Bases , 1994, IS/KI.

[110]  Jay T. Runkel,et al.  Solving Sisyphus by design , 1994, Int. J. Hum. Comput. Stud..

[111]  Feng-Yang Kuo,et al.  A methodolgy for deriving an entity-relationship model based on a data flow diagram , 1994, J. Syst. Softw..

[112]  B. R. Gaines,et al.  Problem statement for Sisyphus: models of problem solving , 1994, Int. J. Hum. Comput. Stud..

[113]  Thomas Gilb,et al.  Software Inspection , 1994 .

[114]  Gruia-Catalin Roman,et al.  A taxonomy of program visualization systems , 1993, Computer.

[115]  Enrico Motta,et al.  Constructing knowledge-based systems , 1993, IEEE Software.

[116]  Matthias Hemmje,et al.  A 3D Based User Interface for Information Retrieval Systems , 1993, Workshop on Database Issues for Data Visualization.

[117]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[118]  Blaine A. Price,et al.  A Principled Taxonomy of Software Visualization , 1993, J. Vis. Lang. Comput..

[119]  Carlo Ghezzi,et al.  A Survey and Assessment of Software Process Representation Formalisms , 1993, Int. J. Softw. Eng. Knowl. Eng..

[120]  A. Newell.  Reasoning, problem solving, and decision processes: the problem space as a fundamental category , 1993 .

[121]  Sérgio Vale Aguiar Campos,et al.  Symbolic Model Checking , 1993, CAV.

[122]  Panagiotis K. Linos,et al.  Facilitating the comprehension of C-programs: an experimental study , 1993, [1993] IEEE Second Workshop on Program Comprehension.

[123]  Renate Motschnig-Pitrik,et al.  The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling , 1993 .

[124]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[125]  David H. Kitson,et al.  An analysis of SEI software process assessment results: 1987-1991 , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[126]  Jakob Nielsen,et al.  A mathematical model of the finding of usability problems , 1993, INTERCHI.

[127]  Jonathan Jacky,et al.  Specifying a Safety-Critical Control System in Z , 1993, IEEE Trans. Software Eng..

[128]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

[129]  Janis A. Bubenko,et al.  Theories underlying requirements engineering: an overview of NATURE at Genesis , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[130]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[131]  Franca Garzotto,et al.  HDM—a model-based approach to hypertext application design , 1993, TOIS.

[132]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[133]  Frank Puppe,et al.  COKE: efficient solving of complex assignment problems with the propose-and-exchange method , 1992, Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92.

[134]  Robin Jeffries,et al.  Usability testing vs. heuristic evaluation: was there a contest? , 1992, SGCH.

[135]  Hubert L. Dreyfus,et al.  What computers still can't do - a critique of artificial reason , 1992 .

[136]  Reidar Conradi,et al.  Towards a Reference Framework for Process Concepts , 1992, EWSPT.

[137]  Jean-Claude Derniame,et al.  Software Modelling: What, Who and When , 1992, EWSPT.

[138]  Natarajan Shankar,et al.  PVS: A Prototype Verification System , 1992, CADE.

[139]  Samson W. Tu,et al.  A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools , 1992 .

[140]  Gruia-Catalin Roman,et al.  Program visualization: the art of mapping programs to pictures , 1992, International Conference on Software Engineering.

[141]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[142]  Simon McGinnes,et al.  How objective is object-oriented analysis? , 1992 .

[143]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[144]  Bruce I. Blum,et al.  Software engineering - a holistic view , 1992 .

[145]  John Gannon,et al.  State-based model checking of event-driven system requirements , 1991, SIGSOFT '91.

[146]  Susan Wiedenbeck,et al.  The Initial Stage of Program Comprehension , 1991, Int. J. Man Mach. Stud..

[147]  Roelf J. Wieringa,et al.  Object-Oriented Analysis, Structured Analysis, and Jackson System Development , 1991 .

[148]  Alan M. Davis,et al.  Criteria for selecting software process models , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[149]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[150]  Terry Bollinger,et al.  A critical look at software capability evaluations , 1991, IEEE Software.

[151]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[152]  Jock D. Mackinlay,et al.  Cone Trees: animated 3D visualizations of hierarchical information , 1991, CHI.

[153]  Jock D. Mackinlay,et al.  The perspective wall: detail and context smoothly integrated , 1991, CHI.

[154]  Keith H. Bennett,et al.  Approaches to program comprehension , 1991, J. Syst. Softw..

[155]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[156]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[157]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[158]  Brian Henderson-Sellers,et al.  The object-oriented systems life cycle , 1990, CACM.

[159]  Ralph Alberico,et al.  Expert systems for reference and information retrieval , 1990 .

[160]  Curtis R. Cook,et al.  Typographic style is more than cosmetic , 1990, CACM.

[161]  M. W. Wheeler,et al.  Automatic knowledge acquisition for expert systems , 1990, Proceedings of the 1990 Symposium on Applied Computing.

[162]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[163]  Brad A. Myers,et al.  Taxonomies of visual programming and program visualization , 1990, J. Vis. Lang. Comput..

[164]  Donald A. Norman,et al.  Psychology of everyday things , 1990 .

[165]  Thomas A. Corbi,et al.  Program Understanding: Challenge for the 1990s , 1989, IBM Syst. J..

[166]  W. Scacchi,et al.  Work Structures And Shifts: An Empirical Analysis Of Software Specification Teamwork , 1989, 11th International Conference on Software Engineering.

[167]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[168]  Yair Wand,et al.  A Proposal for a Formal Model of Objects , 1989, Object-Oriented Concepts, Databases, and Applications.

[169]  Malcolm Munro,et al.  Redocumenting software systems using hypertext technology , 1988, Proceedings. Conference on Software Maintenance, 1988..

[170]  Alan M. Davis,et al.  A Strategy for Comparing Alternative Software Development Life Cycle Models , 1988, IEEE Trans. Software Eng..

[171]  Stephen Travis Pope,et al.  A cookbook for using the model-view controller user interface paradigm in Smalltalk-80 , 1988 .

[172]  Victor R. Basili,et al.  The TAME Project: Towards Improvement-Oriented Software Environments , 1988, IEEE Trans. Software Eng..

[173]  Anna Hart,et al.  Knowledge acquisition for expert systems , 1988 .

[174]  Watts S. Humphrey,et al.  Characterizing the software process: a maturity framework , 1988, IEEE Software.

[175]  Carlo Batini,et al.  Automatic graph drawing and readability of diagrams , 1988, IEEE Trans. Syst. Man Cybern..

[176]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[177]  Watts S. Humphrey,et al.  A method for assessing the software engineering capability of contractors , 1987 .

[178]  Barry W. Boehm,et al.  Improving Software Productivity , 1987, Computer.

[179]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[180]  Michael W. Evans,et al.  Software quality assurance and management , 1987 .

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

[182]  Bob J. Wielinga,et al.  Models of Expertise , 1986, ECAI.

[183]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[184]  Barry W. Boehm,et al.  A Software Development Environment for Improving Productivity , 1984, Computer.

[185]  Victor R. Basili,et al.  Models and metrics for software management and engineering , 1982 .

[186]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[187]  Randall Davis,et al.  Interactive Transfer of Expertise: Acquisition of New Inference Rules , 1993, IJCAI.

[188]  Edward A. Felgenbaum.  The art of artificial intelligence: themes and case studies of knowledge engineering , 1977, IJCAI 1977.

[189]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[190]  W. A. Shewhart,et al.  Statistical method from the viewpoint of quality control , 1939 .

[191]  Edward H. Shortliffe,et al.  EMYCIN: A Knowledge Engineer’s Tool for Constructing Rule-Based Expert Systems , 2005 .

[192]  Constance L. Heitmeyer,et al.  Model Checking Complete Requirements Specifications Using Abstraction , 2004, Automated Software Engineering.

[193]  Tom DeMarco,et al.  Structured Analysis and System Specification (Reprint) , 2002, Software Pioneers.

[194]  Gerard O’Regan,et al.  The Capability Maturity Model , 2002 .

[195]  Jeff Heflin,et al.  Searching the Web with SHOE , 2000 .

[196]  Claire Knight,et al.  Virtual software in reality , 2000 .

[197]  N. Shadbolt,et al.  Knowledge Engineering and Management , 2000 .

[198]  Elisa Bertino,et al.  MPGS: An Interactive Tool for the Specification and Generation of Multimedia Presentations , 2000, IEEE Trans. Knowl. Data Eng..

[199]  Maria Francesca Costabile,et al.  Proposing Guidelines for Usability Inspection , 2000, TFWWG.

[200]  Enrico Motta,et al.  Specifications of Knowledge Components for Reuse , 1999 .

[201]  Michalis Vazirgiannis,et al.  Interactive multimedia documents: modeling, authoring, and implementation experiences , 1999 .

[202]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[203]  Peter Young,et al.  Visualising software in cyberspace , 1999 .

[204]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[205]  Nicola Guarino,et al.  OntoSeek: Using Large Linguistic Ontologies for Accessing On-Line Yellow Pages and Product Catalogs , 1999 .

[206]  Bashar Nuseibeh,et al.  Using Abduction to Evolve Inconsistent Requirements Specification , 1999, Australas. J. Inf. Syst..

[207]  Henrik Eriksson,et al.  Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .

[208]  John Domingue,et al.  Tadzebao and WebOnto: discussing, browsing, and editing ontologies on the Web , 1998 .

[209]  Dietrich Boles,et al.  Objektorientierte Multimedia-Softwareentwicklung: Vom UML-Modell zur Director-Anwendung am Beispiel virtueller naturwissenschaftlich-technischer Labore , 1998, Workshop Multimedia-Systeme, GI Jahrestagung.

[210]  Michael Jackson,et al.  Will there ever be software engineering? , 1998, IEEE Software.

[211]  Janice Redish,et al.  User and task analysis for interface design , 1998 .

[212]  Pietro Marchisio,et al.  MHEG-5 - Aims, Concepts, and Implementation Issues , 1998, IEEE Multim..

[213]  Jakob Nielsen,et al.  Usability engineering , 1997, The Computer Science and Engineering Handbook.

[214]  Joëlle Coutaz,et al.  PAC-ing the architecture of your user interface , 1997, DSV-IS.

[215]  Alain Pirotte,et al.  An Aggregation Model and its C++ Implementation , 1997, OOIS.

[216]  Pankaj Jalote,et al.  An Integrated Approach to Software Engineering , 1997, Undergraduate Texts in Computer Science.

[217]  Leonard Adelman,et al.  Handbook for Evaluating Knowledge-Based Systems , 1997, Springer US.

[218]  Bruce I. Blum,et al.  Beyond programming - to a new era of design , 1996 .

[219]  R. G. Dromey,et al.  Cornering the Chimera , 1996, IEEE Softw..

[220]  Philipp Ackermann,et al.  Developing object-oriented multimedia software : based on the MET++ application framework , 1996 .

[221]  Joost Breuker,et al.  Towards principled core ontologies , 1996 .

[222]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[223]  Robert J. Hendley,et al.  Narcissus: visualising information , 1995 .

[224]  Simon J. Gibbs,et al.  Multimedia programming - objects, environments and frameworks , 1995 .

[225]  David S. Rosenblum,et al.  Two Case Studies in Modeling Real, Corporate Processes , 1995, Softw. Process. Improv. Pract..

[226]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[227]  Hossein Saiedian,et al.  SEI Capability Maturity Model's Impact on Contractors , 1995, Computer.

[228]  Stephen G. Eick,et al.  Space-filling Software Visualization , 1995, J. Vis. Lang. Comput..

[229]  Fairclough Mazza,et al.  Software Engineering Standards , 1995 .

[230]  Jakob Nielsen,et al.  Guerrilla HCI: using discount usability engineering to penetrate the intimidation barrier , 1994 .

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

[232]  Deborah Hix,et al.  Developing user interfaces , 1993 .

[233]  Dennis de Champeaux,et al.  Object-oriented system development , 1993 .

[234]  Iris D. Tommelein,et al.  Domain-Independent Design System , 1992 .

[235]  Stuart E. Madnick,et al.  Software Project Dynamics: An Integrated Approach , 1991 .

[236]  Mark C. Paulk,et al.  The Capability Maturity Model , 1991 .

[237]  Axel van Lamsweerde,et al.  The KAOS Project: Knowledge Acquisition in Automated Specification of Software , 1991 .

[238]  Edward Yourdon,et al.  Object-oriented design , 1991, Yourdon Press Computing Series.

[239]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[240]  Christopher John Hogger,et al.  Essentials of logic programming , 1990 .

[241]  Bob Wielinga,et al.  Models of Expertise in Knowledge Acquisition , 1989 .

[242]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[243]  Enrico Motta,et al.  A Methodology and Tool for Knowledge Acquisition in Keats-2 , 1989 .

[244]  Lawrence M. Fagan,et al.  Use of a Domain Model to Drive an Interactive Knowledge-Editing Tool , 1987, Int. J. Man Mach. Stud..

[245]  Terry Winograd,et al.  Understanding computers and cognition , 1986 .

[246]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[247]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[248]  Barry Boehm,et al.  Characteristics of software quality , 1978 .

[249]  Victor Weinberg,et al.  Structured Analysis , 1978 .

[250]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[251]  F. M. Gryna.  Quality planning and analysis , 1970 .

[252]  R. Anthony,et al.  Planning and Control Systems: A Framework for Analysis , 1965 .

[253]  Herbert A. Simon,et al.  The new science of management decision , 1960 .