A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
A Generalized Formal Framework for Partial Modeling
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
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
2007
2007 IEEE International Parallel and Distributed Processing Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 Formal Methods in Computer Aided Design (FMCAD)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 35th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2016
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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