Handbook of Software Engineering and Knowledge EngineeringShi Kuo Chang |
Contents
Preface | 1 |
Formal Verification Techniques for Computer Communication Security | 23 |
Software Architecture | 47 |
Engineering Access Control in Distributed Applications | 69 |
Software Maintenance | 91 |
Requirements Engineering | 121 |
Software Reliability Engineering | 145 |
Reengineering and Processes | 167 |
Software Configuration Management in Software and Hypermedia | 523 |
CaseBased Reasoning | 549 |
The Knowledge Modeling Paradigm in Knowledge Engineering | 589 |
Knowledge Discovery and Data Mining in Databases | 615 |
KnowledgeBased Information Access | 639 |
Learning Software Organizations | 663 |
On Software Engineering and Learning Theory Facilitating Learning | 679 |
Tools and Engineering Issues | 697 |
Modeling Evaluation and Improvement | 193 |
Software Measurement | 239 |
Review and Perspectives | 277 |
Domain Engineering | 305 |
Survey and Open | 329 |
Incremental Development Terminology and Guidelines | 381 |
Metrics for Identifying Critical Components in Software Projects | 401 |
Message Sequence Charts in the Software Engineering Process | 437 |
Precise Chops Extraction Approaches | 465 |
A Large Scale Neural Network and Its Applications | 487 |
AgentOriented Software Engineering | 507 |
Software Engineering and Knowledge Engineering Issues | 719 |
Conceptual Modeling in Software Engineering and Knowledge | 733 |
PatternBased Software ReEngineering | 767 |
Rationale Management in Software Engineering | 787 |
Task Models in Interactive Software Systems | 817 |
Practical Machine Learning for Software Engineering and Knowledge | 837 |
Exploring Ontologies | 863 |
On The Use of Logical Abduction in Software Engineering | 889 |
915 | |
Common terms and phrases
abductive abductive reasoning abstraction access control activities agent algorithm analysis application approach architecture Artificial Intelligence assessment attributes Capability Maturity Model Case-Based Reasoning changes classification complexity components Computer concepts conceptual modeling configuration management CORBA database decision defined described development process environment evaluation example experience formal framework functionality goals hypermedia identify IEEE Transactions implementation improvement increments input integration interaction interface International ISO/IEC knowledge engineering knowledge management language learning logic machine learning measures methods model checking modules object object-oriented ontology organization patterns performed phase problem solving Proceedings process models protocol query rationale re-engineering represent requirements engineering reuse reverse engineering rules sequence software architecture software development software development process Software Engineering software maintenance software process software system specification stakeholders standard structure task models techniques Transactions on Software