Result 1 to 20 of 189 total
Contribution to a rigorous analysis of web application frameworks. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 1-20 (2012).
1
Contribution to a rigorous analysis of web application frameworks. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 1-20 (2012).
2
Ambient abstract state machines with applications. (English)
J. Comput. Syst. Sci. 78, No. 3, 939-959 (2012).
3
The subject-oriented approach to software design and the abstract state machines method. (English)
Düsterhöft, Antje (ed.) et al., Conceptual modelling and its theoretical foundations. Essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-28278-2/pbk). Lecture Notes in Computer Science 7260, 52-72 (2012).
4
Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16‒18, 2008. (English)
Formal Asp. Comput. 23, No. 1, 150~p. (2011).
5
The abstract state machines method for high-level system design and analysis. (English)
Boca, Paul P. (ed.) et al., Formal methods: State of the art and new directions. Dedicated to Peter Landin (1930‒2009). London: Springer (ISBN 978-1-84882-735-6/hbk; 978-1-84882-736-3/ebook). 79-116 (2010).
6
Synchronous message passing and semaphores: An equivalence proof. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 20-33 (2010).
7
Synchronous message passing and semaphores: an equivalence proof (English)
ASM, 20-33 (2010).
8
On defining the behavior of OR-joins in business process models. (English)
J. UCS 15, No. 1, 3-32, electronic only (2009).
9
Concurrent abstract state machines and $^{ + } $CAL programs. (English)
Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13‒16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 1-17 (2009).
10
A method for verifiable and validatable business process modeling. (English)
Börger, Egon (ed.) et al., Advances in software engineering. Lipari summer school 2007, Lipari Island, Italy, July 8‒21, 2007. Revised tutorial lectures. Berlin: Springer (ISBN 978-3-540-89761-3/pbk). Lecture Notes in Computer Science 5316, 59-115 (2008).
11
Advances in software engineering. Lipari summer school 2007, Lipari Island, Italy, July 8‒21, 2007. Revised tutorial lectures. (English)
Lecture Notes in Computer Science 5316. Berlin: Springer (ISBN 978-3-540-89761-3/pbk). vii, 277~p. \$~64.95 (2008).
12
Modularizing theorems for software product lines: The Jbook case study. (English)
J. UCS 14, No. 12, 2059-2082, electronic only (2008).
13
Quo vadis abstract state machines? (English)
J. UCS 14, No. 12, 1921-1928, electronic only (2008).
14
Modeling workflows, interaction patterns, web services and business processes: The ASM-based approach. (English)
Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 24-38 (2008).
15
Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16‒18, 2008. Proceedings. (English)
Lecture Notes in Computer Science 5238. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). xii, 382~p. EUR~79.95 (2008).
16
Linking the meaning of programs to what the compiler can verify. (English)
Meyer, Bertrand (ed.) et al., Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10‒13, 2005. Revised selected papers and discussions. Berlin: Springer (ISBN 978-3-540-69147-1/pbk). Lecture Notes in Computer Science 4171, 325-336 (2008).
17
Modeling workflow patterns from first principles. (English)
Parent, Christine (ed.) et al., Conceptual modeling ‒ ER 2007. 26th international conference on conceptual modeling, Auckland, New Zealand, November 5‒9, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75562-3/pbk). Lecture Notes in Computer Science 4801, 1-20 (2008).
18
Coupling design and verification in software product lines. (English)
Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11‒15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 1-4 (2008).
19
Concurrent abstract state machines and ^{+}CAL programs (English)
WADT, 1-17 (2008).
20
Result 1 to 20 of 189 total
Start
Contact
Print
General Help
