×

Found 115 Documents (Results 1–100)

100
MathJax

A sound and complete Hoare logic for dynamically-typed, object-oriented programs. (English) Zbl 1475.68085

Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9660, 173-193 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Higher-order UTP for a theory of methods. (English) Zbl 1452.68061

Wolff, Burkhart (ed.) et al., Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27–28, 2012. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7681, 204-223 (2013).
MSC:  68N30 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI

WP semantics and behavioral subtyping. (English) Zbl 1351.68167

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 154-172 (2011).
MSC:  68Q60 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Integrating typed and untyped code in a scripting language. (English) Zbl 1312.68048

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 377-388 (2010).
MSC:  68N20 68N15
PDF BibTeX XML Cite
Full Text: DOI

State-bases approaches: from Z to Object-Z. Reprint of the 2001 hardback ed. (English) Zbl 1255.68056

Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 105-125 (2010).
MSC:  68N30 68N19 68Q60
PDF BibTeX XML Cite

Programming languages: Principles and paradigms. Translated from the Italian. (English) Zbl 1204.68047

Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-84882-913-8/pbk; 978-1-84882-914-5/ebook). xix, 440 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

C++ with Microsoft Visual C++ 2008. Introduction to Standard-C++, C++/CLI and object-oriented Windows .NET programming. With CD-ROM. (C++ mit Microsoft Visual C++ 2008. Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung. Mit CD-ROM.) (German) Zbl 1217.68048

Xpert.press. Berlin: Springer (ISBN 978-3-540-23869-0/hbk; 978-3-540-68844-0/ebook). xxiv, 1335 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI

Dynamic logic with non-rigid functions. (English) Zbl 1222.03030

Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 266-280 (2006).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI

POST: A case study for an incremental development in rCOS. (English) Zbl 1169.68360

Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 485-500 (2005).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI

rCOS: Refinement of component and object systems. (English) Zbl 1143.68366

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Berlin: Springer (ISBN 3-540-29131-8/pbk). Lecture Notes in Computer Science 3657, 183-221 (2005).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI

An object-oriented structuring for Z based on views. (English) Zbl 1118.68536

Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 262-278 (2005).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 7th ACM SIGPLAN international conference on principles and practice of declarative programming (PPDP 2005), Lisbon, Portugal, July 11–13, 2005. (English) Zbl 1101.68013

New York, NY: ACM Press (ISBN 1-59593-090-6). 251 p., electronic. (2005).
PDF BibTeX XML Cite
Full Text: Link

A relational model for object-oriented designs. (English) Zbl 1116.68373

Chin, Wei-Ngan (ed.), Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4–6, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23724-0/pbk). Lecture Notes in Computer Science 3302, 415-436 (2004).
MSC:  68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI

Deciding life-cycle inheritance on Petri nets. (English) Zbl 1274.68259

van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 44-63 (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Inductive proof outlines for monitors in Java. (English) Zbl 1253.68080

Najm, Elie (ed.) et al., Formal methods for open object-based distributed systems. 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19–21, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20491-1/pbk). Lect. Notes Comput. Sci. 2884, 155-169 (2003).
MSC:  68N15 03B70 68N19
PDF BibTeX XML Cite
Full Text: DOI

Software engineering. An introduction for computer scientists and engineers: Systems, experiences, methods, tools. 4., überarbeitete und erweiterte Auflage. (Software Engineering. Eine Einführung für Informatiker und Ingenieure: Systeme, Erfahrungen, Methoden, Tools.) (German) Zbl 1058.68038

Wiesbaden: Vieweg (ISBN 3-528-35355-4/pbk). viii, 465 S. (2003).
MSC:  68N99 68-01
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite
Full Text: Link

Forward simulation for data refinement of classes. (English) Zbl 1064.68529

Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 471-490 (2002).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: Link

A family of software architecture implementation frameworks. (English) Zbl 1040.68028

Bosch, Jan (ed.) et al., Software architecture. System design, development and maintenance. IFIP 17th world computer congress – TC2 stream / 3rd working IEEE/IFIP conference on software architecture (WICSA3), August 25–30, 2002, Montréal, Québec, Canada. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7176-0/hbk). IFIP, Int. Fed. Inf. Process. 97, 221-235 (2002).
MSC:  68N99
PDF BibTeX XML Cite

Using transition systems to unify UML models. (English) Zbl 1015.68824

George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 535-547 (2002).
MSC:  68U99 68N99 68N19
PDF BibTeX XML Cite
Full Text: Link

Behavioural subtyping and property preservation for active objects. (English) Zbl 1056.68060

Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 95-110 (2002).
MSC:  68N19 68Q85
PDF BibTeX XML Cite

A compositional formalism for object viewpoints. (English) Zbl 1056.68103

Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 45-60 (2002).
MSC:  68Q65 68M14
PDF BibTeX XML Cite

A net-based multi-tier behavior inheritance modelling method. (English) Zbl 1073.68696

Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 279-286 (2001).
MSC:  68Q85 68N30
PDF BibTeX XML Cite
Full Text: Link

Building object applications that work. Your step-by-step handbook for developing robust systems with object technology. (English) Zbl 0917.68019

Cambridge: Cambridge University Press. New York, NY: SIGS Books, xxix, 476 p. (1998).
PDF BibTeX XML Cite
Full Text: DOI

Systems migration. Strategies for computer science. (Systemmigration. Strategien für die Informatik. Mit einem Geleitw. von Herbert Kargl.) (German) Zbl 0896.68030

Wiesbaden: DUV, Deutscher UniversitätsVerlag. xvii, 197 S. (1997).
Reviewer: G.Bauer (Görlitz)
MSC:  68N99 68-01
PDF BibTeX XML Cite

Object orientation with parallelism and persistence. (English) Zbl 0896.68020

The Kluwer International Series in Engineering and Computer Science. 370. Dordrecht: Kluwer Academic Publishers. 248 p. (1996).
MSC:  68N15 68-01 68P15
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software