Search for Author All Reviews
	Borger, Egon     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Abstract state machine nets: closing the gap between business process models and their implementation Börger E., Fleischmann A.  S-BPM ONE 2015 (Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, Kiel, Germany, Apr 23-24, 2015) 1-10, 2015.  Type: Proceedings Process automation has seen many unsuccessful attempts to bridge the gap between requirements specification by domain experts and technical implementation by software developers. This so-called ground model problem is a direct result o...... Aug 6 2015     Linking architectural and component system views by abstract state machines Börger E. In Languages for system specification. Norwell, MA: Kluwer Academic Publishers, 2004.  Type: Book Chapter This paper is chapter 16 in the book Languages for system specification [1]. The paper is a discussion of the concepts and applications of abstract state machines (ASMs), for use in software design and verification. ASMs may be ...... Feb 2 2005     Architecture design and validation methods Börger E. Springer-Verlag New York, Inc., Secaucus, NJ, 2000.  Type: Divisible Book This is a collection of papers on a number of topics related to architecture design and validation methods. The first three papers discuss the high-level and physical design of complex hardware systems, approaching the issue from thre...... Oct 17 2002
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy