Engelmann, Björn; Olderog, Ernst-Rüdiger A sound and complete Hoare logic for dynamically-typed, object-oriented programs. (English) Zbl 07350301 Á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 (ISBN 978-3-319-30733-6/pbk; 978-3-319-30734-3/ebook). Lecture Notes in Computer Science 9660, 173-193 (2016). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{B. Engelmann} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 9660, 173--193 (2016; Zbl 07350301) Full Text: DOI
Bieda, Robert; Jaskot, Krzysztof Determinig of an object orientation in 3D space using direction cosine matrix and non-stationary Kalman filter. (English) Zbl 1446.93072 Arch. Control Sci. 26, No. 2, 223-244 (2016). MSC: 93E11 PDF BibTeX XML Cite \textit{R. Bieda} and \textit{K. Jaskot}, Arch. Control Sci. 26, No. 2, 223--244 (2016; Zbl 1446.93072) Full Text: DOI
Din, Crystal Chang; Owe, Olaf Compositional reasoning about active objects with shared futures. (English) Zbl 1343.68166 Formal Asp. Comput. 27, No. 3, 551-572 (2015). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{C. C. Din} and \textit{O. Owe}, Formal Asp. Comput. 27, No. 3, 551--572 (2015; Zbl 1343.68166) Full Text: DOI
Pauletti, M. Sebastian; Martinelli, Massimiliano; Cavallini, Nicola; Antolin, Pablo Igatools: an isogeometric analysis library. (English) Zbl 1332.65196 SIAM J. Sci. Comput. 37, No. 4, C465-C496 (2015). MSC: 65Y15 65D07 65D17 65N30 68N19 PDF BibTeX XML Cite \textit{M. S. Pauletti} et al., SIAM J. Sci. Comput. 37, No. 4, C465--C496 (2015; Zbl 1332.65196) Full Text: DOI
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth Integrating deployment architectures and resource consumption in timed object-oriented models. (English) Zbl 1304.68029 J. Log. Algebr. Methods Program. 84, No. 1, 67-91 (2015). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{E. B. Johnsen} et al., J. Log. Algebr. Methods Program. 84, No. 1, 67--91 (2015; Zbl 1304.68029) Full Text: DOI
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh A proof system for adaptable class hierarchies. (English) Zbl 1304.68031 J. Log. Algebr. Methods Program. 84, No. 1, 37-53 (2015). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{J. Dovland} et al., J. Log. Algebr. Methods Program. 84, No. 1, 37--53 (2015; Zbl 1304.68031) Full Text: DOI
Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina Verifying traits: an incremental proof system for fine-grained reuse. (English) Zbl 1342.68059 Formal Asp. Comput. 26, No. 4, 761-793 (2014). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{F. Damiani} et al., Formal Asp. Comput. 26, No. 4, 761--793 (2014; Zbl 1342.68059) Full Text: DOI
Zeyda, Frank; Cavalcanti, Ana 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 \textit{F. Zeyda} and \textit{A. Cavalcanti}, Lect. Notes Comput. Sci. 7681, 204--223 (2013; Zbl 1452.68061) Full Text: DOI
Lievens, David; Harrison, William Abstraction over implementation structure with symmetrically encapsulated multimethods. (English) Zbl 1284.68190 Sci. Comput. Program. 78, No. 7, 953-968 (2013). MSC: 68N30 68N19 68Q60 PDF BibTeX XML Cite \textit{D. Lievens} and \textit{W. Harrison}, Sci. Comput. Program. 78, No. 7, 953--968 (2013; Zbl 1284.68190) Full Text: DOI
Ahrendt, Wolfgang; Dylla, Maximilian A system for compositional verification of asynchronous objects. (English) Zbl 1264.68050 Sci. Comput. Program. 77, No. 12, 1289-1309 (2012). MSC: 68N30 68N19 68Q55 PDF BibTeX XML Cite \textit{W. Ahrendt} and \textit{M. Dylla}, Sci. Comput. Program. 77, No. 12, 1289--1309 (2012; Zbl 1264.68050) Full Text: DOI
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf Observable behavior of distributed systems: component reasoning for concurrent objects. (English) Zbl 1247.68184 J. Log. Algebr. Program. 81, No. 3, 227-256 (2012). MSC: 68Q85 68N30 68M14 03B70 PDF BibTeX XML Cite \textit{C. C. Din} et al., J. Log. Algebr. Program. 81, No. 3, 227--256 (2012; Zbl 1247.68184) Full Text: DOI
Bangerth, Wolfgang; Burstedde, Carsten; Heister, Timo; Kronbichler, Martin Algorithms and data structures for massively parallel generic adaptive finite element codes. (English) Zbl 1365.65247 ACM Trans. Math. Softw. 38, No. 2, Paper No. 14, 28 p. (2011). MSC: 65N30 65Y05 65Y15 68P05 PDF BibTeX XML Cite \textit{W. Bangerth} et al., ACM Trans. Math. Softw. 38, No. 2, Paper No. 14, 28 p. (2011; Zbl 1365.65247) Full Text: DOI
Liu, Yijing; Qiu, Zongyan; Long, Quan 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 \textit{Y. Liu} et al., Lect. Notes Comput. Sci. 6916, 154--172 (2011; Zbl 1351.68167) Full Text: DOI
Castro, María Eugenia; Díaz, Javier; Muñoz-Caro, Camelia; Niño, Alfonso A uniform object-oriented solution to the eigenvalue problem for real symmetric and Hermitian matrices. (English) Zbl 1221.65093 Comput. Phys. Commun. 182, No. 9, 2059-2064 (2011). MSC: 65F15 PDF BibTeX XML Cite \textit{M. E. Castro} et al., Comput. Phys. Commun. 182, No. 9, 2059--2064 (2011; Zbl 1221.65093) Full Text: DOI
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin Incremental reasoning with lazy behavioral subtyping for multiple inheritance. (English) Zbl 1221.68058 Sci. Comput. Program. 76, No. 10, 915-941 (2011). MSC: 68N19 PDF BibTeX XML Cite \textit{J. Dovland} et al., Sci. Comput. Program. 76, No. 10, 915--941 (2011; Zbl 1221.68058) Full Text: DOI
Wrigstad, Tobias; Nardelli, Francesco Zappa; Lebresne, Sylvain; Östlund, Johan; Vitek, Jan 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 \textit{T. Wrigstad} et al., in: 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). 377--388 (2010; Zbl 1312.68048) Full Text: DOI
Smith, Graeme State-bases approaches: from Z to Object-Z. (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 \textit{G. Smith}, in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 105--125 (2010; Zbl 1255.68056)
Shankar, N. Ravi; Kumar, B. Ravi; Rao, G. Ananda; Srikanth, T. Reducts in object oriented information system. (English) Zbl 1215.68223 Int. J. Contemp. Math. Sci. 5, No. 33-36, 1771-1787 (2010). MSC: 68T30 68T37 68U35 PDF BibTeX XML Cite \textit{N. R. Shankar} et al., Int. J. Contemp. Math. Sci. 5, No. 33--36, 1771--1787 (2010; Zbl 1215.68223) Full Text: Link
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin Lazy behavioral subtyping. (English) Zbl 1204.68072 J. Log. Algebr. Program. 79, No. 7, 578-607 (2010). MSC: 68N99 PDF BibTeX XML Cite \textit{J. Dovland} et al., J. Log. Algebr. Program. 79, No. 7, 578--607 (2010; Zbl 1204.68072) Full Text: DOI
Steijl, R.; Barakos, George N. Coupled Navier-Stokes - molecular dynamics simulations using a multi-physics flow simulation framework. (English) Zbl 1423.76369 Int. J. Numer. Methods Fluids 62, No. 10, 1081-1106 (2010). MSC: 76M28 35Q30 PDF BibTeX XML Cite \textit{R. Steijl} and \textit{G. N. Barakos}, Int. J. Numer. Methods Fluids 62, No. 10, 1081--1106 (2010; Zbl 1423.76369) Full Text: DOI
Gabbrielli, Maurizio; Martini, Simone 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). Reviewer: Stefan Meyer (Berlin) MSC: 68N15 68-01 68N17 68N18 68N19 PDF BibTeX XML Cite \textit{M. Gabbrielli} and \textit{S. Martini}, Programming languages: Principles and paradigms. Translated from the Italian. London: Springer (2010; Zbl 1204.68047) Full Text: DOI
Ramachandran, Prabhu; Ramakrishna, M. An object-oriented design for two-dimensional vortex particle methods. (English) Zbl 1364.76150 ACM Trans. Math. Softw. 36, No. 4, Paper No. 18, 28 p. (2009). MSC: 76M23 65M75 65Y15 65Z05 76M28 PDF BibTeX XML Cite \textit{P. Ramachandran} and \textit{M. Ramakrishna}, ACM Trans. Math. Softw. 36, No. 4, Paper No. 18, 28 p. (2009; Zbl 1364.76150) Full Text: DOI
Bangerth, W.; Kayser-Herold, O. Data structures and requirements for hp finite element software. (English) Zbl 1364.65237 ACM Trans. Math. Softw. 36, No. 1, Paper No. 4, 31 p. (2009). MSC: 65N30 68P05 65Y15 PDF BibTeX XML Cite \textit{W. Bangerth} and \textit{O. Kayser-Herold}, ACM Trans. Math. Softw. 36, No. 1, Paper No. 4, 31 p. (2009; Zbl 1364.65237) Full Text: DOI
Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan Graph transformations for object-oriented refinement. (English) Zbl 1165.68025 Formal Asp. Comput. 21, No. 1-2, 103-131 (2009). MSC: 68N19 PDF BibTeX XML Cite \textit{L. Zhao} et al., Formal Asp. Comput. 21, No. 1--2, 103--131 (2009; Zbl 1165.68025) Full Text: DOI
Kaiser, Richard 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). Reviewer: Rainer Horsch (Markdorf) MSC: 68N15 68N19 68N20 68-01 PDF BibTeX XML Cite \textit{R. Kaiser}, C++ mit Microsoft Visual C++ 2008. Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung. Mit CD-ROM. Berlin: Springer (2009; Zbl 1217.68048) Full Text: DOI
Orchard, Dominic A.; Matthews, Steve Integrating Lucid’s declarative dataflow paradigm into object-orientation. (English) Zbl 1160.68333 Math. Comput. Sci. 2, No. 1, 103-122 (2008). MSC: 68N15 68N19 68Q55 PDF BibTeX XML Cite \textit{D. A. Orchard} and \textit{S. Matthews}, Math. Comput. Sci. 2, No. 1, 103--122 (2008; Zbl 1160.68333) Full Text: DOI
Zotos, Kostas Object-oriented programming in mathematics. (English) Zbl 1120.68040 Appl. Math. Comput. 188, No. 2, 1562-1566 (2007). MSC: 68N19 PDF BibTeX XML Cite \textit{K. Zotos}, Appl. Math. Comput. 188, No. 2, 1562--1566 (2007; Zbl 1120.68040) Full Text: DOI
Kalbacher, Thomas; Mettier, Ralph; Mcdermott, Chris; Wang, Wenqing; Kosakowski, Georg; Taniguchi, Takeo; Kolditz, Olaf Geometric modelling and object-oriented software concepts applied to a heterogeneous fractured network from the Grimsel rock laboratory. (English) Zbl 1168.86300 Comput. Geosci. 11, No. 1, 9-26 (2007). MSC: 86-08 74L10 86A32 PDF BibTeX XML Cite \textit{T. Kalbacher} et al., Comput. Geosci. 11, No. 1, 9--26 (2007; Zbl 1168.86300) Full Text: DOI
Beckert, Bernhard; Platzer, André 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 \textit{B. Beckert} and \textit{A. Platzer}, Lect. Notes Comput. Sci. 4130, 266--280 (2006; Zbl 1222.03030) Full Text: DOI
He, Jifeng; Li, Xiaoshan; Liu, Zhiming rCOS: a refinement calculus of object systems. (English) Zbl 1118.68049 Theor. Comput. Sci. 365, No. 1-2, 109-142 (2006). MSC: 68N30 68N19 68Q55 PDF BibTeX XML Cite \textit{J. He} et al., Theor. Comput. Sci. 365, No. 1--2, 109--142 (2006; Zbl 1118.68049) Full Text: DOI
Long, Quan; Qiu, Zongyan; Liu, Zhiming; Shao, Lingshuang; He, Jifeng 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 \textit{Q. Long} et al., Lect. Notes Comput. Sci. 3722, 485--500 (2005; Zbl 1169.68360) Full Text: DOI
Liu, Zhiming; Jifeng, He; Li, Xiaoshan 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 \textit{Z. Liu} et al., Lect. Notes Comput. Sci. 3657, 183--221 (2005; Zbl 1143.68366) Full Text: DOI
Kassios, Ioannis T. Decoupling in object orientation. (English) Zbl 1120.68376 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 43-58 (2005). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{I. T. Kassios}, Lect. Notes Comput. Sci. 3582, 43--58 (2005; Zbl 1120.68376) Full Text: DOI
Amálio, Nuno; Polack, Fiona; Stepney, Susan 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 \textit{N. Amálio} et al., Lect. Notes Comput. Sci. 3455, 262--278 (2005; Zbl 1118.68536) 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). MSC: 68N15 68-06 68N17 68Q42 00B25 PDF BibTeX XML Cite Proceedings of the 7th ACM SIGPLAN international conference on principles and practice of declarative programming (PPDP 2005), Lisbon, Portugal, July 11--13, 2005. New York, NY: ACM Press (2005; Zbl 1101.68013) Full Text: Link
Gustafsson, Joakim; Kvarnström, Jonas Elaboration tolerance through object-orientation. (English) Zbl 1085.68683 Artif. Intell. 153, No. 1-2, 239-285 (2004). MSC: 68T27 68N19 PDF BibTeX XML Cite \textit{J. Gustafsson} and \textit{J. Kvarnström}, Artif. Intell. 153, No. 1--2, 239--285 (2004; Zbl 1085.68683) Full Text: DOI
Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao 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 \textit{H. Jifeng} et al., Lect. Notes Comput. Sci. 3302, 415--436 (2004; Zbl 1116.68373) Full Text: DOI
Paige, Richard F.; Ostroff, Jonathan S. ERC – an object-oriented refinement calculus for Eiffel. (English) Zbl 1084.68022 Formal Asp. Comput. 16, No. 1, 51-79 (2004). MSC: 68N19 PDF BibTeX XML Cite \textit{R. F. Paige} and \textit{J. S. Ostroff}, Formal Asp. Comput. 16, No. 1, 51--79 (2004; Zbl 1084.68022) Full Text: DOI
Liu, Dingfei; Stewart, Theodor J. Object-oriented decision support system modelling for multicriteria decision making in natural resource management. (English) Zbl 1046.90534 Comput. Oper. Res. 31, No. 7, 985-999 (2004). MSC: 90B50 PDF BibTeX XML Cite \textit{D. Liu} and \textit{T. J. Stewart}, Comput. Oper. Res. 31, No. 7, 985--999 (2004; Zbl 1046.90534) Full Text: DOI
Verbeek, H. M. W.; Basten, T. 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 \textit{H. M. W. Verbeek} and \textit{T. Basten}, Lect. Notes Comput. Sci. 2679, 44--63 (2003; Zbl 1274.68259) Full Text: DOI
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin 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 \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 2884, 155--169 (2003; Zbl 1253.68080) Full Text: DOI
Kristoffersen, Thor; Moen, Anders; Hansen, Hallstein Asheim Extracting high-level information from Petri nets: a railroad case. (English) Zbl 1091.68552 Proc. Est. Acad. Sci., Phys. Math. 52, No. 4, 378-393 (2003). MSC: 68Q85 68U20 PDF BibTeX XML Cite \textit{T. Kristoffersen} et al., Proc. Est. Acad. Sci., Phys. Math. 52, No. 4, 378--393 (2003; Zbl 1091.68552)
Kienzle, Jörg Open multithreaded transactions. A transaction model for concurrent object-oriented programming. (English) Zbl 1069.68035 Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1727-8/hbk). xxv, 279 p. (2003). Reviewer: Jan Friso Groote (Nederwetten) MSC: 68N19 68M14 68-01 PDF BibTeX XML Cite \textit{J. Kienzle}, Open multithreaded transactions. A transaction model for concurrent object-oriented programming. Dordrecht: Kluwer Academic Publishers (2003; Zbl 1069.68035)
Su, Ching-Liang Technique for personal identification: Using the extracted index finger image to identify individuals. (English) Zbl 1057.68108 J. Intell. Robot. Syst. 37, No. 3, 337-354 (2003). MSC: 68T10 PDF BibTeX XML Cite \textit{C.-L. Su}, J. Intell. Robot. Syst. 37, No. 3, 337--354 (2003; Zbl 1057.68108) Full Text: DOI
Wehrheim, Heike Behavioral subtyping relations for active objects. (English) Zbl 1057.68015 Form. Methods Syst. Des. 23, No. 2, 143-170 (2003). MSC: 68N19 PDF BibTeX XML Cite \textit{H. Wehrheim}, Form. Methods Syst. Des. 23, No. 2, 143--170 (2003; Zbl 1057.68015) Full Text: DOI
Dumke, Reiner 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). Reviewer: Jaroslav Král’ (Praha) MSC: 68N99 68-01 PDF BibTeX XML Cite \textit{R. Dumke}, Software Engineering. Eine Einführung für Informatiker und Ingenieure: Systeme, Erfahrungen, Methoden, Tools. 4., überarbeitete und erweiterte Auflage. Wiesbaden: Vieweg (2003; Zbl 1058.68038)
Aguirre, Nazareno; Bicarregui, Juan; Dimitrakos, Theo; Maibaum, Tom 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 \textit{N. Aguirre} et al., Lect. Notes Comput. Sci. 2651, 528--545 (2003; Zbl 1028.68535) Full Text: Link
de Tré, Guy; de Caluwe, Rita Level-2 fuzzy sets and their usefulness in object-oriented database modelling. (English) Zbl 1047.68057 Fuzzy Sets Syst. 140, No. 1, 29-49 (2003). MSC: 68P15 03E72 PDF BibTeX XML Cite \textit{G. de Tré} and \textit{R. de Caluwe}, Fuzzy Sets Syst. 140, No. 1, 29--49 (2003; Zbl 1047.68057) Full Text: DOI
Chae, Heung-Seok; Kwon, Yong-Rae; Bae, Doo-Hwan Response to ‘More comments on: A cohesion measure for object-oriented classes’. (English) Zbl 1052.68580 Softw., Pract. Exper. 33, No. 6, 589-594 (2003). MSC: 68N19 PDF BibTeX XML Cite \textit{H.-S. Chae} et al., Softw., Pract. Exper. 33, No. 6, 589--594 (2003; Zbl 1052.68580) Full Text: DOI
Xu, Baowen; Zhou, Yuming More comments on ‘A cohesion measure for object-oriented classes’ by Heung-Seok Chae, Yong-Rae Kwon and Doo-Hwan Bae. (English) Zbl 1052.68583 Softw., Pract. Exper. 33, No. 6, 583-588 (2003). MSC: 68N19 PDF BibTeX XML Cite \textit{B. Xu} and \textit{Y. Zhou}, Softw., Pract. Exper. 33, No. 6, 583--588 (2003; Zbl 1052.68583) Full Text: DOI
McIver, Annabelle (ed.); Morgan, Carroll (ed.) Programming methodology. (English) Zbl 1030.68010 Monographs in Computer Science. New York, NY: Springer. xvii, 469 p. (2003). Reviewer: Ivan Martinec (Praha) MSC: 68N01 68N19 68N30 68-02 PDF BibTeX XML Cite \textit{A. McIver} (ed.) and \textit{C. Morgan} (ed.), Programming methodology. New York, NY: Springer (2003; Zbl 1030.68010)
Türker, Can SQL:1999 & SQL:2003. Objektrelationales SQL, SQLJ & SQL/XML. (German) Zbl 1026.68046 Heidelberg: dpunkt.verlag. xiii, 478 S. (2003). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68P15 68N15 68-01 PDF BibTeX XML Cite \textit{C. Türker}, SQL:1999 \& SQL:2003. Objektrelationales SQL, SQLJ \& SQL/XML. Heidelberg: dpunkt.verlag (2003; Zbl 1026.68046)
Wehrheim, Heike Relating state-based and behaviour-oriented subtyping. (English) Zbl 1088.68647 Nord. J. Comput. 9, No. 4, 405-435 (2002). MSC: 68Q60 68N15 PDF BibTeX XML Cite \textit{H. Wehrheim}, Nord. J. Comput. 9, No. 4, 405--435 (2002; Zbl 1088.68647)
Cavalcanti, Ana; Naumann, David A. 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 \textit{A. Cavalcanti} and \textit{D. A. Naumann}, Lect. Notes Comput. Sci. 2391, 471--490 (2002; Zbl 1064.68529) Full Text: Link
Medvidovic, Nenad; Mehta, Nikunj; Mikic-Rakic, Marija 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 \textit{N. Medvidovic} et al., IFIP, Int. Fed. Inf. Process. 97, 221--235 (2002; Zbl 1040.68028)
Liu, Zhiming; Li, Xiaoshan; He, Jifeng 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 \textit{Z. Liu} et al., Lect. Notes Comput. Sci. 2495, 535--547 (2002; Zbl 1015.68824) Full Text: Link
Battou, Abdella; Khan, Bilal; Lee, Daniel C.; Marsh, Spencer; Mountcastle, Sean; Talmage, David CASiNO: component architecture for simulating network objects. (English) Zbl 1009.68920 Software. Practice & Experience 32, No. 11, 1099-1128 (2002). MSC: 68U99 68N01 68M12 PDF BibTeX XML Cite \textit{A. Battou} et al., Softw., Pract. Exper. 32, No. 11, 1099--1128 (2002; Zbl 1009.68920) Full Text: DOI
Hameurlain, Nabil 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 \textit{N. Hameurlain}, IFIP, Int. Fed. Inf. Process. 81, 95--110 (2002; Zbl 1056.68060)
Johnsen, Einar Broch; Owe, Olaf 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 \textit{E. B. Johnsen} and \textit{O. Owe}, IFIP, Int. Fed. Inf. Process. 81, 45--60 (2002; Zbl 1056.68103)
Müller, Peter Modular specification and verification of object-oriented programs. (English) Zbl 0998.68034 Lecture Notes in Computer Science. 2262. Berlin: Springer. xiv, 292 p. (2002). Reviewer: Jan Friso Groote (Eindhoven) MSC: 68N19 68N30 68-02 PDF BibTeX XML Cite \textit{P. Müller}, Modular specification and verification of object-oriented programs. Berlin: Springer (2002; Zbl 0998.68034)
Langseth, Helge; Bangsø, Olav Parameter learning in object-oriented Bayesian networks. (English) Zbl 1314.68261 Ann. Math. Artif. Intell. 32, No. 1-4, 221-243 (2001). MSC: 68T05 PDF BibTeX XML Cite \textit{H. Langseth} and \textit{O. Bangsø}, Ann. Math. Artif. Intell. 32, No. 1--4, 221--243 (2001; Zbl 1314.68261) Full Text: DOI
Wang, Shengyuan; Yu, Jian; Yuan, Chongyi 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 \textit{S. Wang} et al., Lect. Notes Comput. Sci. 2244, 279--286 (2001; Zbl 1073.68696) Full Text: Link
Chiu, Dickson K. W.; Li, Qing; Karlapalem, Kamalakar Web interface-driven cooperative exception handling in Adome workflow management system. (English) Zbl 1006.68666 Inf. Syst. 26, No. 2, 93-120 (2001). MSC: 68U99 68M10 68U35 68P15 PDF BibTeX XML Cite \textit{D. K. W. Chiu} et al., Inf. Syst. 26, No. 2, 93--120 (2001; Zbl 1006.68666) Full Text: DOI
Laitenberger, Oliver Cost-effective detection of software defects through perspective-based inspections. (English) Zbl 1010.68618 Empirical Software Engineering 6, No. 1, 81-84 (2001). MSC: 68U99 68N99 PDF BibTeX XML Cite \textit{O. Laitenberger}, Empir. Softw. Eng. 6, No. 1, 81--84 (2001; Zbl 1010.68618) Full Text: DOI
Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A. Maintaining traceability links during object-oriented software evolution. (English) Zbl 1009.68870 Software. Practice & Experience 31, No. 4, 331-355 (2001). MSC: 68U99 68N15 68N19 PDF BibTeX XML Cite \textit{G. Antoniol} et al., Softw., Pract. Exper. 31, No. 4, 331--355 (2001; Zbl 1009.68870) Full Text: DOI
Vitek, Jan; Bokowski, Boris Confined types in Java. (English) Zbl 1009.68879 Software. Practice & Experience 31, No. 6, 507-532 (2001). MSC: 68U99 68N15 68N19 PDF BibTeX XML Cite \textit{J. Vitek} and \textit{B. Bokowski}, Softw., Pract. Exper. 31, No. 6, 507--532 (2001; Zbl 1009.68879) Full Text: DOI
Cheng, Betty H. C.; Gannod, Gerald C. Developing and maintaining an object-oriented distributed multimedia information system. (English) Zbl 0985.68580 Ann. Softw. Eng. 12, 95-118 (2001). MSC: 68U99 68U35 68M10 PDF BibTeX XML Cite \textit{B. H. C. Cheng} and \textit{G. C. Gannod}, Ann. Softw. Eng. 12, 95--118 (2001; Zbl 0985.68580) Full Text: DOI
Basten, Twan; van der Aalst, Wil M. P. Inheritance of dynamic behavior. development of a groupware editor. (English) Zbl 0976.68552 Agha, Gul A. (ed.) et al., Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2001, 391-405 (2001). MSC: 68U99 68Q85 PDF BibTeX XML Cite \textit{T. Basten} and \textit{W. M. P. van der Aalst}, Lect. Notes Comput. Sci. 2001, 391--405 (2001; Zbl 0976.68552) Full Text: Link
Nett, E.; Gergeleit, M.; Mock, M. Enhancing \(O\)-\(O\) middleware to become time-aware. (English) Zbl 1001.68502 Real-Time Syst. 20, No. 2, 211-228 (2001). MSC: 68M20 68W05 PDF BibTeX XML Cite \textit{E. Nett} et al., Real-Time Syst. 20, No. 2, 211--228 (2001; Zbl 1001.68502) Full Text: DOI
March, Salvatore T.; Rho, Sangkyu A semantic object-oriented data access system. (English) Zbl 1183.68250 Inf. Syst. 25, No. 1, 23-41 (2000). MSC: 68P15 PDF BibTeX XML Cite \textit{S. T. March} and \textit{S. Rho}, Inf. Syst. 25, No. 1, 23--41 (2000; Zbl 1183.68250) Full Text: DOI
Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan A cohesion measure for object-oriented classes. (English) Zbl 1009.68858 Software. Practice & Experience 30, No. 12, 1405-1431 (2000). MSC: 68U99 68N19 PDF BibTeX XML Cite \textit{H. S. Chae} et al., Softw., Pract. Exper. 30, No. 12, 1405--1431 (2000; Zbl 1009.68858) Full Text: DOI
Pandey, Raju; Hashii, Brant Providing fine-grained access control for Java programs via binary editing. (English) Zbl 1008.68572 Concurrency Pract. Exp. 12, No. 14, 1405-1430 (2000). MSC: 68U99 68M14 68N15 68N19 PDF BibTeX XML Cite \textit{R. Pandey} and \textit{B. Hashii}, Concurrency Pract. Exp. 12, No. 14, 1405--1430 (2000; Zbl 1008.68572) Full Text: DOI
Philippsen, Michael A survey of concurrent object-oriented languages. (English) Zbl 1120.68378 Concurrency Pract. Exp. 12, No. 10, 917-980 (2000). MSC: 68N19 68N15 PDF BibTeX XML Cite \textit{M. Philippsen}, Concurrency Pract. Exp. 12, No. 10, 917--980 (2000; Zbl 1120.68378) Full Text: DOI
Frick, A.; Goos, G.; Neumann, R.; Zimmermann, W. Construction of robust class hierarchies. (English) Zbl 1147.68434 Softw., Pract. Exper. 30, No. 5, 481-543 (2000). MSC: 68N19 PDF BibTeX XML Cite \textit{A. Frick} et al., Softw., Pract. Exper. 30, No. 5, 481--543 (2000; Zbl 1147.68434) Full Text: DOI
Goguen, Joseph A.; Malcolm, Grant A hidden agenda. (English) Zbl 0946.68070 Theor. Comput. Sci. 245, No. 1, 55-101 (2000). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{J. A. Goguen} and \textit{G. Malcolm}, Theor. Comput. Sci. 245, No. 1, 55--101 (2000; Zbl 0946.68070) Full Text: DOI
Küchlin, Wolfgang; Weber, Andreas Introduction to computer science. Object-oriented using Java. (Einführung in die Informatik. Objektorientiert mit Java.) (German) Zbl 0961.68023 Springer-Lehrbuch. Berlin: Springer. xvi, 383 S. (2000). Reviewer: Jörg Desel (Eichstätt) MSC: 68N15 68-01 68N19 PDF BibTeX XML Cite \textit{W. Küchlin} and \textit{A. Weber}, Einführung in die Informatik. Objektorientiert mit Java. Berlin: Springer (2000; Zbl 0961.68023)
van der Stappen, A. F.; Goldberg, K.; Overmars, M. H. Geometric eccentricity and the complexity of manipulation plans. (English) Zbl 0997.93070 Algorithmica 26, No. 3-4, 494-514 (2000). Reviewer: Kurt Marti (Neubiberg/München) MSC: 93C85 68Q25 68T40 70B15 PDF BibTeX XML Cite \textit{A. F. van der Stappen} et al., Algorithmica 26, No. 3--4, 494--514 (2000; Zbl 0997.93070) Full Text: DOI
Echtle, Klaus; Goedicke, Michael Textbook of programming using Java. (Lehrbuch der Programmierung mit Java.) (German) Zbl 0941.68011 Heidelberg: dpunkt.verlag. x, 367 S. (2000). Reviewer: D.Riebesehl (Lüneburg) MSC: 68N15 68-01 68N01 68N19 PDF BibTeX XML Cite \textit{K. Echtle} and \textit{M. Goedicke}, Lehrbuch der Programmierung mit Java. Heidelberg: dpunkt.verlag (2000; Zbl 0941.68011)
Nagl, Manfred Software techniques using Ada 95. Development of large systems. (Softwaretechnik mit Ada 95. Entwicklung großer Systeme.) (German) Zbl 0938.68020 Braunschweig: Vieweg. xii, 496 S. (1999). Reviewer: S.Meyer (Berlin) MSC: 68N15 68-01 PDF BibTeX XML Cite \textit{M. Nagl}, Softwaretechnik mit Ada 95. Entwicklung großer Systeme. Braunschweig: Vieweg (1999; Zbl 0938.68020)
Rasch, Jochen On value-based identification in object-oriented data models. (English) Zbl 0946.68028 Kiel: Univ. Kiel, Institut für Informatik und Praktische Mathematik, iii, 221 p. (1998). MSC: 68P05 68-02 PDF BibTeX XML Cite \textit{J. Rasch}, On value-based identification in object-oriented data models. Kiel: Univ. Kiel, Institut für Informatik und Praktische Mathematik (1998; Zbl 0946.68028)
Kreutzer, Wolfgang Object-oriented system development – concepts and tools. (English) Zbl 0922.68037 Albrecht, Rudolf (ed.), Systems: theory and practice. Wien: Springer. Advances in Computing Science. 169-186 (1998). MSC: 68N99 68N15 PDF BibTeX XML Cite \textit{W. Kreutzer}, in: Systems: theory and practice. Wien: Springer. 169--186 (1998; Zbl 0922.68037)
Schewe, Klaus-Dieter Consistency enforcement in Entity-Relationship and object-oriented models. (English) Zbl 0910.68063 Data Knowl. Eng. 28, No. 1, 121-140 (1998). MSC: 68P15 PDF BibTeX XML Cite \textit{K.-D. Schewe}, Data Knowl. Eng. 28, No. 1, 121--140 (1998; Zbl 0910.68063) Full Text: DOI
Fensel, D.; Rousset, M.-C.; Decker, S. Workshop on comparing description and frame logics. (English) Zbl 0896.68038 Data Knowl. Eng. 25, No. 3, 347-352 (1998). MSC: 68P15 PDF BibTeX XML Cite \textit{D. Fensel} et al., Data Knowl. Eng. 25, No. 3, 347--352 (1998; Zbl 0896.68038) Full Text: DOI
Ambler, Scott W. 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). Reviewer: M.Gheorghe (Bucureşti) MSC: 68N01 68-01 68N15 68P15 PDF BibTeX XML Cite \textit{S. W. Ambler}, Building object applications that work. Your step-by-step handbook for developing robust systems with object technology. Cambridge: Cambridge University Press; New York, NY: SIGS Books (1998; Zbl 0917.68019) Full Text: DOI
Hunt, John Java and object orientation: An introduction. (English) Zbl 0987.68515 Berlin: Springer. xxii, 473 p. (1998). MSC: 68N15 68-01 PDF BibTeX XML Cite \textit{J. Hunt}, Java and object orientation: An introduction. Berlin: Springer (1998; Zbl 0987.68515)
Neumann, Horst A. Object-oriented software development with the Unified Modeling Language (UML). Incl. 1 CD-ROM. (Objektorientierte Softwareentwicklung mit der Unified Modeling Language (UML).) (German) Zbl 0912.68011 München: Hanser. xiii, 452 S. (1998). Reviewer: Jaroslav Král (Praha) MSC: 68N01 68-01 68N99 PDF BibTeX XML Cite \textit{H. A. Neumann}, Objektorientierte Softwareentwicklung mit der Unified Modeling Language (UML). München: Hanser (1998; Zbl 0912.68011)
Ketabchi, Mohammad; Jambor-Sadeghi, Kamyar Modeling application domains. (English) Zbl 0906.68068 Data Knowl. Eng. 22, No. 3, 259-279 (1997). MSC: 68P99 PDF BibTeX XML Cite \textit{M. Ketabchi} and \textit{K. Jambor-Sadeghi}, Data Knowl. Eng. 22, No. 3, 259--279 (1997; Zbl 0906.68068) Full Text: DOI
Hubbers, J. W. G. M.; ter Hofstede, A. H. M. Formalization of communication and behaviour in object-oriented analysis. (English) Zbl 0904.68108 Data Knowl. Eng. 23, No. 2, 147-184 (1997). MSC: 68Q05 PDF BibTeX XML Cite \textit{J. W. G. M. Hubbers} and \textit{A. H. M. ter Hofstede}, Data Knowl. Eng. 23, No. 2, 147--184 (1997; Zbl 0904.68108) Full Text: DOI
Barak, Vladimir 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 \textit{V. Barak}, Systemmigration. Strategien für die Informatik. Mit einem Geleitw. von Herbert Kargl. Wiesbaden: DUV, Deutscher Universitäts-Verlag (1997; Zbl 0896.68030)
Lakos, Charles The consistent use of names and polymorphism in the definition of object Petri nets. (English) Zbl 1418.68151 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 380-399 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{C. Lakos}, Lect. Notes Comput. Sci. 1091, 380--399 (1996; Zbl 1418.68151) Full Text: DOI
Freitag, Burkhard (ed.); Jones, Cliff B. (ed.); Lengauer, Christian (ed.); Schek, Hans-Jörg (ed.) 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 \textit{B. Freitag} (ed.) et al., Object orientation with parallelism and persistence. Dordrecht: Kluwer Academic Publishers (1996; Zbl 0896.68020)
Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John Design patterns. (Entwurfsmuster. Übers. aus dem Amerikan. von Dirk Riehle.) (German) Zbl 0887.68013 Addison-Wesley Professional Computing Series. Bonn: Addison Wesley. 448 S. (1996). Reviewer: R.Horsch (Markdorf) MSC: 68N99 68-01 68N15 PDF BibTeX XML Cite \textit{E. Gamma} et al., Entwurfsmuster. Übers. aus dem Amerikan. von Dirk Riehle. Bonn: Addison Wesley (1996; Zbl 0887.68013)
Ambriola, Vincenzo; Cignoni, Giovanni A.; Semini, Laura A proposal to merge multiple tuple spaces, object orientation, and logic programming. (English) Zbl 0868.68019 Comput. Lang. 22, No. 2-3, 79-93 (1996). MSC: 68N17 PDF BibTeX XML Cite \textit{V. Ambriola} et al., Comput. Lang. 22, No. 2--3, 79--93 (1996; Zbl 0868.68019) Full Text: DOI
Sernadas, Amílcar; Sernadas, Cristina; Ramos, Jaime A temporal logic approach to object certification\(^{\star}\). (English) Zbl 0875.68788 Data Knowl. Eng. 19, No. 3, 267-294 (1996). MSC: 68T27 68Q10 68T15 03B45 PDF BibTeX XML Cite \textit{A. Sernadas} et al., Data Knowl. Eng. 19, No. 3, 267--294 (1996; Zbl 0875.68788) Full Text: DOI
Creasy, P. N.; Proper, H. A. A generic model for 3-dimensional conceptual modelling. (English) Zbl 0875.68305 Data Knowl. Eng. 20, No. 2, 119-161 (1996). MSC: 68P05 PDF BibTeX XML Cite \textit{P. N. Creasy} and \textit{H. A. Proper}, Data Knowl. Eng. 20, No. 2, 119--161 (1996; Zbl 0875.68305) Full Text: DOI
Díaz, Oscar The operational semantics of user-defined relationships in object oriented database systems. (English) Zbl 0875.68329 Data Knowl. Eng. 16, No. 3, 223-240 (1995). MSC: 68P15 68Q55 PDF BibTeX XML Cite \textit{O. Díaz}, Data Knowl. Eng. 16, No. 3, 223--240 (1995; Zbl 0875.68329) Full Text: DOI
Norris, Mark Survival in the software jungle. Incl. 1 disc. (English) Zbl 0857.68024 Boston: Artech House. xiii, 256 p. (1995). Reviewer: M.Gheorghe (Bucureşti) MSC: 68N99 68N15 68-01 PDF BibTeX XML Cite \textit{M. Norris}, Survival in the software jungle. Incl. 1 disc. Boston: Artech House (1995; Zbl 0857.68024)
Chen, R. An algebraic approach to formalization of object-orientation. (English) Zbl 0847.68064 Int. J. Comput. Math. 57, No. 1-2, 33-43 (1995). MSC: 68Q65 PDF BibTeX XML Cite \textit{R. Chen}, Int. J. Comput. Math. 57, No. 1--2, 33--43 (1995; Zbl 0847.68064) Full Text: DOI
Lux, Wolfgang Adaptable object migration and a realization in the operating system BirliX. (Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX.) (German) Zbl 0838.68017 Berichte der Gesellschaft für Mathematik und Datenverarbeitung (GMD-Berichte). 252. München: Oldenbourg. 138 p. (1995). Reviewer: G.Vossen (Münster) MSC: 68N25 68-02 PDF BibTeX XML Cite \textit{W. Lux}, Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX. München: Oldenbourg (1995; Zbl 0838.68017)
Sernadas, Amílcar; Sernadas, Cristina; Costa, José Félix Object specification logic. (English) Zbl 0829.03013 J. Log. Comput. 5, No. 5, 603-630 (1995). MSC: 03B60 03B45 68Q65 03G30 03B80 PDF BibTeX XML Cite \textit{A. Sernadas} et al., J. Log. Comput. 5, No. 5, 603--630 (1995; Zbl 0829.03013) Full Text: DOI