Domain Endurants: An Analysis and Description Process Model

Dines Bjørner

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


We present a summary, Sect. 2, of a structure of domain analysis and description concepts: techniques and tools. And we link, in Sect. 3, these concepts, embodied in domain analysis prompts and domain description prompts, in a model of how a diligent domain analyser cum describer would use them. We claim that both sections, Sects. 2–3, contribute to a methodology of software engineering.
Original languageEnglish
Title of host publicationSpecification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
EditorsShusaku Iida, José Meseguer, Kazuhiro Ogata
Publication date2014
ISBN (Print)978-3-642-54623-5
ISBN (Electronic)978-3-642-54624-2
Publication statusPublished - 2014
SeriesLecture Notes in Computer Science


Dive into the research topics of 'Domain Endurants: An Analysis and Description Process Model'. Together they form a unique fingerprint.

Cite this