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 .
[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 .