✦ LIBER ✦

Formal methods: mathematics, computer science or software engineering?

✍ Scribed by Tremblay, G.

Book ID: 114532776
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 56 KB
Volume: 43
Category: Article
ISSN: 0018-9359
DOI: 10.1109/13.883345

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematics, Computer Science, Software

Mathematics, Computer Science, Software Engineering

✍ Dick Hamlet 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 28 KB

Software engineering formal methods II

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB

Software engineering and formal methods

✍ Bernhard Aichernig; Bernhard Beckert 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 66 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Formal Proof from UML Models

✍ Davies, Jim; Schulte, Wolfram; Barnett, Mike 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 346 KB

Formal Engineering Methods Are Changing The Way That Software Systems Are - Veloped.withlanguageandtoolsupport,theyarebeingusedforautomaticcode Generation, And For The Automatic Abstraction And Checking Of Implementations. In The Future, They Will Be Used At Every Stage Of Development: Requirements,

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent-Oriented Software Engineering X Volume 6038 || Formal Methods in Agent-Oriented Software Engineering

✍ Gleizes, Marie-Pierre; Gomez-Sanz, Jorge J. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 206 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Formal Descriptive Semantics of UML

✍ Liu, Shaoying; Maibaum, Tom; Araki, Keijiro 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 395 KB