Evaluating the suitability of state‐based formal methods for industrial deployment
作者： Atif Mashkoor , Felix Kossak , Alexander Egyed
DOI: 10.1002/SPE.2634
关键词: Formal methods 、 Computer science 、 Systems engineering 、 State (computer science) 、 Software deployment
摘要:
jku.at
sci-hub.se 参考文章(117)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, SMT-based automatic Proof of ASM model refinement international conference on software engineering. ,vol. 9763, pp. 253- 269 ,(2016) , 10.1007/978-3-319-41591-8_17
Silvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor, Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino Lecture Notes in Computer Science. ,vol. 10227, pp. 295- 301 ,(2017) , 10.1007/978-3-319-57288-8_21
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene, Integrating formal methods into medical software development: The ASM approach Science of Computer Programming. ,vol. 158, pp. 148- 167 ,(2017) , 10.1016/J.SCICO.2017.07.003
Julien Brunel, Anthony Faucogney, Frédérique Vallée, Stéphane Paul, Laurent Rioux, Formal Safety and Security Assessment of an Avionic Architecture with Alloy ESSS. ,vol. 150, pp. 8- 19 ,(2014) , 10.4204/EPTCS.150.2
John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock, Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains international conference on software engineering. ,(2015) , 10.1109/FORMALISE.2015.14
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagić, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen, Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE. ,vol. 187, pp. 14- 27 ,(2015) , 10.4204/EPTCS.187.2
Stephan Merz, The Specification Language TLA Springer Berlin Heidelberg. pp. 401- 451 ,(2008) , 10.1007/978-3-540-74107-7_8
Robert F. Stärk, Joachim Schmid, Egon Börger, Java and the Java Virtual Machine Springer Berlin Heidelberg. ,(2001) , 10.1007/978-3-642-59495-3
John Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock, Industrial Deployment of Formal Methods: Trends and Challenges Industrial Deployment of System Engineering Methods. pp. 123- 143 ,(2013) , 10.1007/978-3-642-33170-1_10
Geri Georg, James Bieman, Robert France, Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists. pp. 128- 141 ,(2001)