Communicating sequential processes
Communicating sequential processes
Software development graphs: a unifying concept for software development?
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
Project graphs and meta-programs. Towards a theory of software development
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
A classical mind
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communicating sequential processes
Communications of the ACM
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Problems, Methods and Specialization
IEEE Software
RTSE '97 Proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering
Duration Calculi: An Overview (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Techniques for Partial Specification and Specification of Switching Systems
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Problems and requirements [software development]
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A cognitive perspective on software development methods: the case of extreme programming
Proceedings of the 2006 international workshop on Workshop on interdisciplinary software engineering research
XP'05 Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering
| Hi-index | 0.00 |
We discuss a concept of method in terms of its postulated principles, techniques and tools for the realm of software engineering. Software engineering is here seen as a confluence of domain engineering, requirements engineering and software design. Our scope is the concept of domains and domain engineering, and, our span is the concept of domain facets. We shall briefly contrast these with domain attributes such as for example put forward by Michael Jackson [1]. For the domain facet area of software development we then identify, exemplify and investigate, the latter rather briefly, a number of domain facet development principles and techniques. The main contributions of this essay are believed to be the identification of the domain facet concept, and the collection (including identification), classification, part investigation, and "fitting into a larger whole", of domain facet principles and techniques, as well as the thereby substantiated claim that these principles and techniques help characterise methods.