Filters








643,974 Hits in 5.1 sec

A Generalized Formal Framework for Partial Modeling [chapter]

Rick Salay, Marsha Chechik
2015 Lecture Notes in Computer Science  
In this paper, we introduce a new language-independent formal framework for partial modeling called GMAVO that generalizes MAVO by providing the means for addressing model semantics and allowing uncertainty  ...  We then show that GMAVO is sufficiently general to express Modal Transition Systems (MTSs) -an established "semantics-aware" partial behavioral modeling formalism.  ...  In this paper, we have addressed this gap by proposing a general formal framework for partial modeling languages using Category Theory, called GMAVO .  ... 
doi:10.1007/978-3-662-46675-9_9 fatcat:oxcjokvmwbcgzfdkra46aeraw4

Formal Analysis for Debugging and Performance Optimization of MPI

Ganesh L. Gopalakrishnan, Robert M. Kirby
2007 2007 IEEE International Parallel and Distributed Processing Symposium  
Our recent work has addressed the following areas: A TLA+ Formal Semantics of a large subset of MPI-1; A Microsoft Phoenix based Model Extraction and Analysis Framework for MPI programs; Integration into  ...  the Visual Studio Environment for error-trace visualization; A new dynamic partial order reduction algorithm (DPOR) tailored to MPI so that the number of interleavings examined during MPI program verification  ...  be subject to formal analysis using a parallel and distributed model checking framework. • A formal semantic definition for a significant subset of MPI will be created. • Based on the formal semantic  ... 
doi:10.1109/ipdps.2007.370487 dblp:conf/ipps/GopalakrishnanK07 fatcat:qjrk7m44gjb5tat5hb7lot55gq

Theta: A framework for abstraction refinement-based model checking

Tamas Toth, Akos Hajdu, Andras Vorcos, Zoltan Micskei, Istvan Majzik
2017 2017 Formal Methods in Computer Aided Design (FMCAD)  
In this paper, we present THETA, a configurable model checking framework.  ...  The goal of the framework is to support the design, execution and evaluation of abstraction refinement-based reachability analysis algorithms for models of different formalisms.  ...  CONCLUSIONS In this paper we introduced THETA, a configurable model checking framework for abstraction refinement-based reachability analysis for different formalisms.  ... 
doi:10.23919/fmcad.2017.8102257 dblp:conf/fmcad/TothHVMM17 fatcat:f5qmm4cxzrgfdntw53jb4746ai

Towards Classification of Lightweight Formal Methods

Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas, Peter Herrmann, Jan Olaf Blech
2018 Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering  
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend.  ...  Further, we propose a simple framework that should help to classify different LFM approaches and to estimate which of them are most cost-effective for a certain software engineering project.  ...  ACKNOWLEDGEMENTS This work has been funded by the Swedish Governmental Agency for Innovation Systems (VINNOVA) under the VeriSpec project 2013-01299.  ... 
doi:10.5220/0006770803050313 dblp:conf/enase/ZamanskySRHB18 fatcat:oc42ievbv5gczlzr2ha3nb3npm

Towards Classification of Lightweight Formal Methods [article]

Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas, Peter Herrmann, Jan Olaf Blech
2018 arXiv   pre-print
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend.  ...  Further, we propose a simple framework that should help to classify different LFM approaches and to estimate which of them are most cost-effective for a certain software engineering project.  ...  in the formal language Alloy and using its analyzer to generate instances of the model and assertion counter-examples.  ... 
arXiv:1807.01923v1 fatcat:mtva2xfs5bgkfdtjzxjpbraoba

Bottom-up model-driven development

Hamid Bagheri, Kevin Sullivan
2013 2013 35th International Conference on Software Engineering (ICSE)  
artifacts, but over time will recognize patterns and concerns that can profitably be lifted, from the bottom-up, to the level of partial models, in general-purpose specification languages, from which  ...  Early validation flows from experience applying these ideas to a healthcare-related experimental system in our lab. Index Terms-Model-driven development, Bottom-up, Partial synthesis.  ...  ACKNOWLEDGMENTS We thank Anthony Finkelstein for discussing his position with us. All positions we take in this paper, including any errors, are ours.  ... 
doi:10.1109/icse.2013.6606683 dblp:conf/icse/BagheriS04 fatcat:ykplysen7jgpjhshzzfxwmalm4

Synthesis from Formal Partial Abstractions [article]

Hamid Bagheri
2014 arXiv   pre-print
Contributions of this work include novel insights, methods and tools for (1) synthesizing architectural models from abstract application models; (2) synthesizing partial, platform-specific application  ...  This dissertation research seeks to reduce the cost, broaden the applicability, and increase the quality of model-driven development systems by embedding modeling languages within established formal languages  ...  The emphasis of this work on synthesis of partial code frameworks from partial formal systems specifications points to the possibility of a re-conception of model-driven software engineering, from a top-down  ... 
arXiv:1411.0481v1 fatcat:fi6qwflzlzdcvp35kfqky7wgru

A Formal Specification Framework for Smart Grid Components [article]

Waseem Akram, Muaz A. Niazi
2017 arXiv   pre-print
We use a state-based formal specification language namely Z (pronounced as 'Zed') since we believe Z is particularly suited for modeling smart grid components.We demonstrate the application of Z on key  ...  In this paper, we attempt to bridge this gap by presenting a novel approach to modeling smart grid components using a formal specification approach.  ...  Formal Frameworks A formal specification is a software engineering approach that is used for mathematical modeling of different components of a system [7] .  ... 
arXiv:1711.09184v1 fatcat:2yo6g2brs5cd5ndsyjp627fcoi

Formal Model Reduction [chapter]

Jérôme Feret
2011 Lecture Notes in Computer Science  
We present a formal framework for constructing coarse-grained systems. We instantiate this framework with two abstract domains.  ...  Such models consist of formal rules stipulating the (partial) contexts for specific protein-protein interactions to occur.  ...  Such models consist of formal rules stipulating the (partial) contexts for specific protein-protein interactions to occur.  ... 
doi:10.1007/978-3-642-23702-7_5 fatcat:jd7ynkft5zccfosfr4uabhgnva

A process to increase the model quality in the context of model-based testing

Vladimir Entin, Mathias Winder, Bo Zhang, Andreas Claus
2015 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
Partial Usage Model Review Partial Usage Model Partial Usage Model Correct?  ...  our measurement devices • Scaled Agile Framework as development approach • 4 SCRUM teams -> 30 team members • .NET framework and C# for PC software • Mainly C++ for embedded software User Story  ... 
doi:10.1109/icstw.2015.7107471 dblp:conf/icst/EntinWZC15 fatcat:p4ktymgjmjhzphthmoh3bdl42e

Editorial

Dimitra Giannakopoulou, Gwen Salaün, Michael Butler
2016 Formal Aspects of Computing  
Editorial This special issue of the Formal Aspects of Computing journal contains a selection of the best papers accepted at the 12th edition of the international conference series on Software Engineering  ...  and Formal Methods (SEFM).  ...  To assess the correctness and consistency of the generated code and analysis models in a practical way, the authors rely on conformance testing. • A General Framework for Architecture Composability by  ... 
doi:10.1007/s00165-016-0368-0 fatcat:mvzd6cu7cff2pj2l3phcqekbja

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems [chapter]

William Durand, Sébastien Salva
2015 Lecture Notes in Computer Science  
In this paper, we present Autofunk, a fast and scalable framework designed at Michelin to automatically build formal models (Symbolic Transition Systems) based on production messages gathered from production  ...  Our approach combines model-driven engineering with rule-based expert systems and human knowledge.  ...  Conclusion We built a fast and scalable framework combining model inference, expert systems and statistical analyses to derive STSs models based on production traces, i.e. generating formal models from  ... 
doi:10.1007/978-3-319-19249-9_36 fatcat:putjw4ncardxhepsv2avx42s6i

Frameworks Based on Templates for Rigorous Model-driven Development

Nuno Amálio, Fiona Polack, Susan Stepney
2007 Electronical Notes in Theoretical Computer Science  
The paper presents and illustrates a framework for sequential systems that combines UML and the formal language Z.  ...  This paper advocates an approach to building engineering environments (or frameworks) for rigorous model-driven development (MDD) that is based on combining semi-formal notations with formal modelling  ...  Acknowledgement This work was funded by the Portuguese Foundation for Science and Technology, grant 6904/2001. Some of the work presented here was supervised by Prof.  ... 
doi:10.1016/j.entcs.2007.09.002 fatcat:xtij4yr5ivex7bnu7nibvavzku

White_paper_Huan_Lei_DOE_PI.pdf [article]

Huan Lei, Panos Stinis, Alexandre Tartakovsky, Nathan Baker, Xiantao Li
2017 Figshare  
While a mathematical framework such as the Mori-Zwanzig formalism provides a general way for constructing such projections, there are two essential research gaps that still remain largely open.  ...  For example, for nanoscale synthesis modeling, governing principles such as Fick's, Darcy's and Fourier's law break down in general; the subtle nanoscale interactions play a profound effect on the final  ... 
doi:10.6084/m9.figshare.5339641.v3 fatcat:3athjepf7vatlmhjscz4m72tvq

Formal Derivation of Distributed MapReduce [chapter]

Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
2014 Lecture Notes in Computer Science  
In this paper, we propose an approach to formal derivation of the MapReduce framework.  ...  MapReduce is a powerful distributed data processing model that is currently adopted in a wide range of domains to efficiently handle large volumes of data, i.e., cope with the big data surge.  ...  The authors would like to thank the reviewers for their valuable comments. Pereverzeva's work is partly supported by the STV Grant.  ... 
doi:10.1007/978-3-662-43652-3_21 fatcat:5ocgthlvh5cgbec7x2p5ocpx2u
« Previous Showing results 1 — 15 out of 643,974 results