國立虎尾科技大學 |

The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The Logic of Software. A Tasting Menu of Formal Methods/ edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.
其他題名:	Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
其他作者:	Johnsen, Einar Broch.
面頁冊數:	XII, 521 p. 153 illus., 80 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer Science Logic and Foundations of Programming. -
電子資源:	https://doi.org/10.1007/978-3-031-08166-8
ISBN:	9783031081668

The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
The Logic of Software. A Tasting Menu of Formal MethodsEssays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /[electronic resource] :edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen. - 1st ed. 2022. - XII, 521 p. 153 illus., 80 illus. in color.online resource. - Lecture Notes in Computer Science,133601611-3349 ;. - Lecture Notes in Computer Science,9324.

I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs. .

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.

ISBN: 9783031081668

Standard No.: 10.1007/978-3-031-08166-8doiSubjects--Topical Terms:

1365757
Computer Science Logic and Foundations of Programming.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
LDR:04004nam a22004095i 4500 001 1088188
003 DE-He213
005 20220615182020.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031081668 $9 978-3-031-08166-8
024 7 $a 10.1007/978-3-031-08166-8 $2 doi
035 $a 978-3-031-08166-8
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 4 $a The Logic of Software. A Tasting Menu of Formal Methods $h [electronic resource] : $b Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / $c edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XII, 521 p. 153 illus., 80 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13360
505 0 $a I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs. .
520 $a This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 1 4 $a Software Engineering. $3 669632
650 0 $a Computer science. $3 573171
650 0 $a Computer networks . $3 1365720
650 0 $a Computer engineering. $3 569006
650 0 $a Software engineering. $3 562952
700 1 $a Johnsen, Einar Broch. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1076436
700 1 $a Bubel, Richard. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1273577
700 1 $a Beckert, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 675592
700 1 $a Ahrendt, Wolfgang. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1116282
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031081651
776 0 8 $i Printed edition: $z 9783031081675
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-08166-8
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)