A hierarchical abstraction model for software engineering
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Toward Formal Models of the Theoretical Framework of Fundamental Economics
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations
Transactions on Computational Science V
Formal Description of the Cognitive Process of Memorization
Transactions on Computational Science V
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra
Transactions on Computational Science V
Guest editorial: special issue on cybernetics and cognitive informatics
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
Contemporary cybernetics and its facets of cognitive informatics and computational intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
Interpreting concept learning in cognitive informatics and granular computing
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
Perspectives on denotational mathematics: new means of thought
Transactions on computational science II
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
Toward a generic mathematical model of abstract game theories
Transactions on computational science II
A comparative study of STOPA and RTPA
Transactions on computational science II
Cognitive informatics and denotational mathematical means for brain informatics
BI'10 Proceedings of the 2010 international conference on Brain informatics
An evaluation of process mediation approaches in web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Formal specification of a neuroscience-inspired cognitive architecture
BI'11 Proceedings of the 2011 international conference on Brain informatics
Computational modeling of brain processes for agent architectures: issues and implications
BI'11 Proceedings of the 2011 international conference on Brain informatics
On the cognitive process of human problem solving
Cognitive Systems Research
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Toward Formal Models of the Theoretical Framework of Fundamental Economics
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Doctrine of Cognitive Informatics (CI)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Perspectives on Cognitive Informatics and Cognitive Computing
International Journal of Cognitive Informatics and Natural Intelligence
A Web Knowledge Discovery Engine Based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
Perspectives on the Field of Cognitive Informatics and its Future Development
International Journal of Cognitive Informatics and Natural Intelligence
International Journal of Cognitive Informatics and Natural Intelligence
International Journal of Cognitive Informatics and Natural Intelligence
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
Inference Algebra IA: A Denotational Mathematics for Cognitive Computing and Machine Reasoning II
International Journal of Cognitive Informatics and Natural Intelligence
The Formal Design Model of an Automatic Teller Machine ATM
International Journal of Software Science and Computational Intelligence
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
Perspectives on Cognitive Computing and Applications
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Set of Abstract Data Types ADTs
International Journal of Software Science and Computational Intelligence
On Cognitive Models of Causal Inferences and Causation Networks
International Journal of Software Science and Computational Intelligence
The Formal Design Model of a File Management System FMS
International Journal of Software Science and Computational Intelligence
A Value-Based Framework for Software Evolutionary Testing
International Journal of Software Science and Computational Intelligence
The Formal Design Model of Doubly-Linked-Circular Lists DLC-Lists
International Journal of Software Science and Computational Intelligence
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
To deal with the difficulties inherent in large-scale software development, the foundations of software engineering are yet to be explored. This comprehensive text is the first book to cover the theoretical and empirical foundations of software engineering. It provides a framework of software engineering methodologies and covers a wide range of foundations such as philosophy, informatics, and engineering economics. Self-contained and requiring only basic programming experience, this book is filled with in-depth comments, annotated references, real-world problems and heuristic questions. Software Engineering Foundations is an important book for software engineers and students alike.