Filters








81,224 Hits in 6.3 sec

Teaching of Formal Methods for Software Engineering

Maria Spichkova, Anna Zamansky
2016 Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering  
The use of Formal Methods (FMs) offers rigour and precision, while reducing ambiguity and inconsistency.  ...  To solve the understandability problem, from one side, the readability of the method have to be increased, but from another side, an appropriate teaching and learning approach have to be introduced.  ...  ACKNOWLEDGEMENTS The second author was supported by The Israel Science Foundation under grant agreement no. 817/15.  ... 
doi:10.5220/0005928503700376 dblp:conf/enase/SpichkovaZ16a fatcat:bslij6ymwjbv3jszyyj6caefki

Software engineering and formal methods

Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria
2008 Communications of the ACM  
In computer science and software engineering, formal methods are mathematically based techniques for the specification, development, and verification of software and hardware systems.  ...  It allows the systematic derivation of sound reasoning methods and effective algorithms for approximating undecidable or highly complex problems in various areas of computer science (semantics, verification  ...  . 16 Computer-aided method engineering is the new craft.  ... 
doi:10.1145/1378727.1378742 fatcat:laarjb4gffet7d6fsw7xzkzz2q

Embedding Formal Methods into Systems Engineering

Helmut Veith
2009 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
Methods … with mathematical precision.  ...  Methods … with mathematical precision.  ... 
doi:10.1109/synasc.2009.71 dblp:conf/synasc/Veith09 fatcat:chnahsryyngfdosq6eowtozuaq

Domain Engineering [chapter]

Dines Bjørner
2009 Formal Methods: State of the Art and New Directions  
Computability: A formal domain description may very well denote mathematical entities which cannot be represented computationally, or mathematical functions (or relations) that are not computable.  ...  It claims that domain engineering will lead to better software, and to development processes that can be better monitored and controlled. and the other is science-oriented.  ... 
doi:10.1007/978-1-84882-736-3_1 fatcat:k4lxzoe63fhcfk6yome52efw5e

SEFM: software engineering and formal methods

Gilles Barthe, Alberto Pardo, Gerardo Schneider
2014 Journal of Software and Systems Modeling  
Formal methods consist of mathematically based techniques for the specification and verification of software (and hardware) systems.  ...  Schneider Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden e-mail: gerardo@cse.gu.se URL: http://www.cse.chalmers.se/∼gersch  ... 
doi:10.1007/s10270-014-0404-6 fatcat:e4ooqbrgfzhjlkbbtpjvi23r2u

The Bourgeois Gentleman, Engineering and Formal Methods [article]

Thierry Lecomte
2020 arXiv   pre-print
This article reports some experience about a game changer that is going to seamlessly integrate formal methods into safety critical systems engineering.  ...  Industrial applications involving formal methods are still exceptions to the general rule.  ...  Audience was diverse, ranging from automation to embedded systems, mecatronics, computer science and formal methods.  ... 
arXiv:2005.08309v1 fatcat:5hyxy3gplbctljazyft76l5zry

Intelligent Systems and Formal Methods in Software Engineering

Bernhard Beckert, Tony Hoare, Reiner Hahnle, Douglas Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram Rajamani
2006 IEEE Intelligent Systems  
Verified software consists of programs that have been proved free of certain rigorously specified kinds of error.  ...  Confidence in the correctness of the proof is very high because it has been generated and checked automatically by computer.  ...  He has proposed program verification as a computer science Grand Challenge. Deductive software verification is a core technology of formal methods.  ... 
doi:10.1109/mis.2006.117 fatcat:e3gffxrewbhubelnmkv7rvrf7i

The Role of Modelling in Teaching Formal Methods for Software Engineering

Anthony J. Cowling
2015 World Congress on Formal Methods  
of the curriculum for a typical software engineering degree programme, showing how identifying formal methods paradigms can contribute to this.  ...  This paper argues that the teaching of formal methods within software engineering must aim to equip students to apply the kinds of methods that may be in use throughout their future careers, rather than  ...  One reason we submit is because Formal Methods has developed as though it is a separate discipline sitting in glorious isolation from the rest of Computer Science, Software Engineering and Computer Engineering  ... 
dblp:conf/fm/Cowling15 fatcat:b7xgv4dczfbs3pegresg2s6c7m

Methods and Tools for Formal Software Engineering [chapter]

Zhiming Liu, R. Venkatesh
2008 Lecture Notes in Computer Science  
Formal Software Engineering and the Grand Challenge The goal of the Verifying Compiler Grand Challenge [7,6] is to build a verifying compiler that "uses mathematical and logical reasoning to check the  ...  This will result in a method in which a correct program can be developed through transformations that are either proven to be correct or by showing that the transformed model can be proven correct by a  ...  In this position paper, we propose the development Formal Software Engineering as a method to develop large software systems using engineering methods and tools that are verifiable.  ... 
doi:10.1007/978-3-540-69149-5_4 fatcat:p5rv33tiinbgnkwwbg56j3syva

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? [chapter]

Jason Kirschenbaum, Bruce Adcock, Derek Bronish, Hampton Smith, Heather Harton, Murali Sitaraman, Bruce W. Weide
2009 Lecture Notes in Computer Science  
mathematical deduction.  ...  Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they rarely require a substantive  ...  This work was supported in part by the National Science Foundation under grants DMS-0701187, DMS-0701260, CCF-0811737, and CCF-0811748.  ... 
doi:10.1007/978-3-642-04211-9_4 fatcat:7zex2x7a4vdunksvvw5jioz5me

Teaching formal methods in the context of software engineering

Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama
2009 ACM SIGCSE Bulletin  
Formal methods were developed to provide systematic and rigorous techniques for software development, and they must be taught in the context of software engineering.  ...  Our experience shows that students can gain confidence in formal methods only when they learn their clear benefits in the context of software engineering.  ...  Of course, as Parnas pointed out [6] , formal methods should not be restricted to software engineering, but linked to and integrated in general engineering mathematics.  ... 
doi:10.1145/1595453.1595457 fatcat:doglbmnhtbbetm2rhrrvyfn7hi

The Role of Abstract Interpretation in Formal Methods

Patrick Cousot
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
s t n r t . . c o Co f u i @e s k a P r Formal methods In computer science and software engineering, formal methods are mathematically-based techniques for the specification, development and verification  ...  It allows the systematic derivation of sound methods and algorithms for approximating undecidable or highly complex problems in various areas of computer science (semantics, verification and proof, modelchecking  ...  Formal methods In computer science and software engineering, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems.  ... 
doi:10.1109/sefm.2007.42 dblp:conf/sefm/Cousot07 fatcat:o4ibupglszeebd25nfun2xua54

Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education [chapter]

T.H. Tse
1993 Software Engineering Education  
Software engineers must be educated as real "engineers"who are competent with industrial practices as well as the mathematical foundation directly supporting them.  ...  The other school advocates formal methods, but most practitioners regard them as impractical.  ...  Our experience at the Software Engineering Group, Department of Computer Science, The University of Hong Kong, have shown that this is indeed feasible.  ... 
doi:10.1016/b978-0-444-81597-2.50026-7 fatcat:27jrdx77abfhdjkynxcj67pjqi

A Formal Method for Mapping Software Engineering Practices to Essence

Murat Pasa Uysal
2018 Zenodo  
Essence Framework (EF) aims at addressing the core problems of software engineering (SE) and its practices.  ...  The study is conducted according to the guidelines of Design Science Research (DSR) Method.  ...  Software design and architecture methods provide a common framework for software engineers.  ... 
doi:10.5281/zenodo.1880455 fatcat:7y7yljww5bc57oqi5ikatrtj5q

Formal methods in industry

Jean-Raymond Abrial
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
Two real projects using the B formal method are quickly presented. They show how some important parts of complex systems can be developed in such a way that the outcome is "correct by construction".  ...  Instructing Software Engineers Experience has shown that engineers can easily learn the mathematical concepts and notations used in the formal method.  ...  It is my opinion that the two disciplines of modeling and writing Software Requirement Document should be made far more important in Computer Science curriculum.  ... 
doi:10.1145/1134285.1134406 dblp:conf/icse/Abrial06 fatcat:bcx43kdvjbhitoxmnrhchtehsu
« Previous Showing results 1 — 15 out of 81,224 results