×

Found 14 Documents (Results 1–14)

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: Link Link

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).
MSC:  68Q65 68-02
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: Link

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).
PDFBibTeX XMLCite

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
Full Text: DOI Link

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software