Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The knowledge level reinterpreted: modeling socio-technical systems
Knowledge acquisition as modeling
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
ACM Computing Surveys (CSUR)
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Modelling Systems: Practical Tools and Techniques in Software Development
Modelling Systems: Practical Tools and Techniques in Software Development
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Domain theory: practice and theories a discussion of possible research topics
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Cybernetics and Systems Analysis
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
| Hi-index | 0.00 |
We discuss means for describing domains. We do so on the background of the example of part I of the present (Part II) paper and in its discussion. The discussion amounts to a proposal for a base description ontology. The discussion borders between computer science and an emerging Philosophy of Informatics. As such it is very tentative. The present discussion might inspire better minds to put this border area on a stronger footing.