Blondin, Maude Josée Controller tuning optimization methods for multi-constraints and nonlinear systems. A metaheuristic approach. (English) Zbl 1457.93002 SpringerBriefs in Optimization. Cham: Springer (ISBN 978-3-030-64540-3/pbk; 978-3-030-64541-0/ebook). x, 101 p. (2021). MSC: 93-02 93C95 90-02 90C05 90C90 PDFBibTeX XMLCite \textit{M. J. Blondin}, Controller tuning optimization methods for multi-constraints and nonlinear systems. A metaheuristic approach. Cham: Springer (2021; Zbl 1457.93002) Full Text: DOI
Ölveczky, Peter Csaba Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude. (English) Zbl 1400.68003 Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-4471-6686-3/pbk; 978-1-4471-6687-0/ebook). xviii, 313 p. (2017). MSC: 68-01 68M14 68Q42 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. C. Ölveczky}, Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude. London: Springer (2017; Zbl 1400.68003) Full Text: DOI
Freudenthal, Margus Simpl: a toolkit for domain-specific language development in enterprise information systems. (English) Zbl 1354.68005 Dissertationes Mathematicae Universitatis Tartuensis 87. Tartu: University of Tartu Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science (Diss.) (ISBN 978-9949-32-391-3/pbk; 978-9949-32-392-0/ebook). 151 p. (2013). MSC: 68-02 68N15 68U35 PDFBibTeX XMLCite \textit{M. Freudenthal}, Simpl: a toolkit for domain-specific language development in enterprise information systems. Tartu: University of Tartu Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science (Diss.) (2013; Zbl 1354.68005) Full Text: Link Link
Rademaker, Alexandre A proof theory for description logics. (English) Zbl 1333.68003 SpringerBriefs in Computer Science. New York, NY: Springer (ISBN 978-1-4471-4001-6/pbk; 978-1-4471-4002-3/ebook). x, 106 p. (2012). Reviewer: Éric Martin (Sydney) MSC: 68-02 03F03 68T15 68T27 68T30 PDFBibTeX XMLCite \textit{A. Rademaker}, A proof theory for description logics. New York, NY: Springer (2012; Zbl 1333.68003) Full Text: DOI
Sannella, Donald; Tarlecki, Andrzej Foundations of algebraic specification and formal software development. (English) Zbl 1237.68129 Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-642-17335-6/hbk). xvi, 581 p. (2012). Reviewer: Juan Climent Vidal (València) MSC: 68Q65 68-02 PDFBibTeX XMLCite \textit{D. Sannella} and \textit{A. Tarlecki}, Foundations of algebraic specification and formal software development. Berlin: Springer (2012; Zbl 1237.68129)
Ray, Sandip Scalable techniques for formal verification. (English) Zbl 1211.68253 New York, NY: Springer (ISBN 978-1-4419-5997-3/hbk; 978-1-4419-5998-0/ebook). xiv, 243 p. (2010). Reviewer: Lutz Schröder (Bremen) MSC: 68Q60 68-02 68N30 68Q85 PDFBibTeX XMLCite \textit{S. Ray}, Scalable techniques for formal verification. New York, NY: Springer (2010; Zbl 1211.68253) Full Text: DOI
Roşu, Grigore (ed.) Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. (English) Zbl 1279.68017 Electronic Notes in Theoretical Computer Science 238, No. 3. Amsterdam: Elsevier. 291 p., electronic only (2009). MSC: 68-06 68Q42 68Q60 00B25 PDFBibTeX XMLCite \textit{G. Roşu} (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29--30, 2008. Amsterdam: Elsevier (2009; Zbl 1279.68017) Full Text: Link
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (English) Zbl 1115.68046 Lecture Notes in Computer Science 4350. Berlin: Springer (ISBN 978-3-540-71940-3/pbk). xxii, 797 p. (2007). MSC: 68N15 68N30 68M14 03B70 68-02 PDFBibTeX XMLCite \textit{M. Clavel} et al., All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Berlin: Springer (2007; Zbl 1115.68046)
Alexander, Perry System-level design with Rosetta. (English) Zbl 1112.68018 The Morgan Kaufmann Series in Systems on Silicon. Amsterdam: Elsevier; San Francisco, CA: Morgan Kaufmann (ISBN 1-55860-771-4/pbk). xxiv, 347 p. (2007). MSC: 68N15 68M99 68-01 PDFBibTeX XMLCite \textit{P. Alexander}, System-level design with Rosetta. Amsterdam: Elsevier; San Francisco, CA: Morgan Kaufmann (2007; Zbl 1112.68018) Full Text: Link
Rossi, Francesca (ed.); van Beek, Peter (ed.); Walsh, Toby (ed.) Handbook of constraint programming. (English) Zbl 1175.90011 Foundations of Artificial Intelligence. Amsterdam: Elsevier (ISBN 978-0-444-52726-4/hbk). xix, 955 p. (2006). MSC: 90-06 90Cxx 90Bxx 00B15 PDFBibTeX XMLCite \textit{F. Rossi} (ed.) et al., Handbook of constraint programming. Amsterdam: Elsevier (2006; Zbl 1175.90011) Full Text: Link
Nieuwenhuis, Robert (ed.) Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9–11, 2003. Proceedings. (English) Zbl 1029.00060 Lecture Notes in Computer Science 2706. Berlin: Springer. xi, 515 p. (2003). MSC: 00B25 68-06 68Q42 PDFBibTeX XMLCite \textit{R. Nieuwenhuis} (ed.), Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings. Berlin: Springer (2003; Zbl 1029.00060) Full Text: DOI Link
Knapp, Alexander A formal approach to object-oriented software engineering. (English) Zbl 0972.68512 Aachen: Shaker Verlag. München: Univ. München, Fakultät Mathematik u. Informatik, 180 p. (2001). MSC: 68N19 68N99 PDFBibTeX XMLCite \textit{A. Knapp}, A formal approach to object-oriented software engineering. Aachen: Shaker Verlag; München: Univ. München, Fakultät Mathematik u. Informatik (2001; Zbl 0972.68512) Full Text: Link
Clavel, Manuel Reflection in rewriting logic. Metalogical foundations and metaprogramming applications. (English) Zbl 1003.03032 Stanford, CA: CSLI Publications. xiv, 200 p. (2000). Reviewer: Jürgen Avenhaus (Kaiserslautern) MSC: 03B70 68-02 68Q42 68Q60 68Q05 68N30 PDFBibTeX XMLCite \textit{M. Clavel}, Reflection in rewriting logic. Metalogical foundations and metaprogramming applications. Stanford, CA: CSLI Publications (2000; Zbl 1003.03032)
Lechner, Ulrike Object-oriented specification of distributed systems. (English) Zbl 0887.68067 Passau: Univ. Passau, Fakultät Mathematik/ Informatik, iv, 276, 5 p. (1997). MSC: 68Q60 68-02 PDFBibTeX XMLCite \textit{U. Lechner}, Object-oriented specification of distributed systems. Passau: Univ. Passau, Fakultät Mathematik/ Informatik (1997; Zbl 0887.68067)