×

Found 22 Documents (Results 1–22)

Modeling product lines with Kripke structures and modal logic. (English) Zbl 1471.68059

Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium, Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9399, 184-202 (2015).
MSC:  68N30 03B44 03B45
PDFBibTeX XMLCite
Full Text: DOI

Characterizing locality (encapsulation) with bisimulation. (English) Zbl 1286.68309

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 322-336 (2010).
MSC:  68Q60 03B45
PDFBibTeX XMLCite
Full Text: DOI

Towards managing dynamic reconfiguration of software systems in a categorical setting. (English) Zbl 1286.68070

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 306-321 (2010).
MSC:  68N30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Deontic logic, contrary to duty reasoning and fault tolerance. (English) Zbl 1294.03019

Marcus, Leo (ed.), Proceedings of the workshop on logical aspects of fault tolerance (LAFT 2009), Los Angeles, CA, USA, August 15, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 258, No. 2, 17-34 (2009).
PDFBibTeX XMLCite
Full Text: DOI

A tableaux system for deontic action logic. (English) Zbl 1143.68595

van der Meyden, Ron (ed.) et al., Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70524-6/pbk). Lecture Notes in Computer Science 5076. Lecture Notes in Artificial Intelligence, 34-48 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Design in CommUnity with extension morphisms. (English) Zbl 1151.68373

Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 435-466 (2007).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

A complete and compact propositional deontic logic. (English) Zbl 1143.03343

Jones, Cliff B. (ed.) et al., Theoretical aspects of computing – ICTAC 2007. 4th international colloquium, Macau, China, September 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75290-5/pbk). Lecture Notes in Computer Science 4711, 109-123 (2007).
PDFBibTeX XMLCite
Full Text: DOI

In memoriam Armando Martín Haeberer. 4 January 1947 – 11 February 2003. (English) Zbl 1274.01088

Aichernig, Bernhard K. (ed.) et al., Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18–20, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20527-6/pbk). Lect. Notes Comput. Sci. 2757, 1-25 (2003).
MSC:  01A70 68-03 68N30
PDFBibTeX XMLCite
Full Text: DOI

Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18–20, 2002. Revised papers. (English) Zbl 1028.00041

Lecture Notes in Computer Science. 2757. Berlin: Springer. xiv, 453 p. (2003).
MSC:  00B30 68-06 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Towards dynamic population management of abstract machines in the B method. (English) Zbl 1028.68535

Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 528-545 (2003).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: Link

A logical basis for the specification of reconfigurable component-based systems. (English) Zbl 1032.68056

Pezzè, Mauro (ed.), Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2621, 37-51 (2003).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: Link

A branching time logical system for open distributed systems development. (English) Zbl 1261.03082

de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 184-203 (2002).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software