Filters








12,407 Hits in 3.5 sec

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

A Lightweight Approach for Knowledge Sharing in Distributed Software Teams [chapter]

Walid Maalej, Hans-Jörg Happel
2008 Lecture Notes in Computer Science  
Capturing developers' interaction with related artifacts and providing a Wiki-like annotation approach triggers knowledge capture.  ...  Our framework enables distributed teams to become more effective by learning from each other's experiences, e.g. on reusing specific components and handling semantic errors.  ...  Reuse of Components. As the "construction by configuration" approach continues to emerge [8] , reuse is undertaken at a higher level of abstraction and complexity.  ... 
doi:10.1007/978-3-540-89447-6_4 fatcat:fnej6okrcjbora73jvx2wjecsm

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.  ...  INTRODUCTION Lightweight formal methods (LFM) is an increasingly popular approach to apply formal methods (FM) in a rapid and cost-effective way.  ... 
arXiv:1807.01923v1 fatcat:mtva2xfs5bgkfdtjzxjpbraoba

Flexible and configurable verification policies with Omnibus

Thomas Wilson, Savi Maharaj, Robert G. Clark
2007 Journal of Software and Systems Modeling  
We explain the benefits of using the approaches together, present a set of guidelines to avoid potential conflicts and give an overview of how the Omnibus IDE provides support for the full range of assertion-based  ...  verification approaches within a single tool.  ...  Acknowledgements: We are grateful for the valuable feedback from the anonymous reviewers and the attendees and organisers of the SEFM 2005 conference.  ... 
doi:10.1007/s10270-007-0060-1 fatcat:fk6eugbvjveydd5fn5z3s2ykqi

A Lightweight Ontology Approach to Scalable Interoperability

Hongwei (Harry) Zhu, Stuart E. Madnick
2006 Social Science Research Network  
This paper presents an approach that combines the strengths and avoids the weaknesses of lightweight and formal ontologies.  ...  Lightweight ontologies are easy to create, but difficult to deploy; formal ontolgies are relatively easy to deploy, but difficult to create.  ...  The lightweight ontology approach and the formal ontology approach are often used differently and have different strengths and weaknesses.  ... 
doi:10.2139/ssrn.926607 fatcat:wlsxqmzn3jcbxggpipcs2thmom

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract)

Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
First, we formalize the syntax and operational semantics for MP; therefore, formal verification of MP models is feasible.  ...  Third, a dedicated model checker for MP has been implemented, so that automatic verification of MP models is supported.  ...  The generative event grammar concept provides a lightweight operational semantics definition for the computing system under development.  ... 
doi:10.1109/models.2015.7338279 dblp:conf/models/SongLASDC15 fatcat:22ebrmpxhjc7pfzsfxddgxdkxq

Synergy Effects by using SysML Models for the Lightweight Design Method "Extended Target Weighing Approach"

Albert Albers, Georg Moeser, Sven Revfi
2018 Procedia CIRP  
The Extended Target Weighing Approach is a function-based lightweight design method for the systematic identification and evaluation of lightweight design potentials with regard to costs and CO2-emissions  ...  The Extended Target Weighing Approach is a function-based lightweight design method for the systematic identification and evaluation of lightweight design potentials with regard to costs and CO2-emissions  ...  This paper has shown a concrete benefit of system modeling with SysML: The effort for the execution of the Extended Target Weighing Approach (ETWA) could be considerably reduced by using system models.  ... 
doi:10.1016/j.procir.2018.02.025 fatcat:dt7p6rm6nfaxdf3x5hr4th62fa

A lightweight approach to research object data packaging

Eoghan Ó Carragáin, Carole Goble, Peter Sefton, Stian Soiland-Reyes
2019 Zenodo  
Here we propose Research Object Lite (or RO-Lite for short), an emerging lightweight approach to packaging research data with their structured metadata, rephrasing the Research Object model as schema.org  ...  annotations to formalize a JSON-LD format that can be used independently of infrastructure, e.g. in GitHub or Zenodo archives.  ...  This points to: a) appetite for general package/folder-oriented approach in different contexts; b) a generic solution won't work for all and needs to be domain-extensible; c) a tendency to re-invent the  ... 
doi:10.5281/zenodo.2636997 fatcat:yeet7a4pzzfhfjdhbxz4rxdole

Software engineering for safety

Robyn R. Lutz
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
Her research interests include software safety, software certification, safe reuse of product families, formal methods for requirements analysis, and fault monitoring and recovery strategies for spacecraft  ...  Provide readier access to formal methods for developers of safety-critical systems by further integration of informal and formal methods.  ...  "Lightweight formal methods" refers to automated analysis approaches that involve rapid, lowcost use of formal methods tailored to the immediate needs of a project.  ... 
doi:10.1145/336512.336556 dblp:conf/icse/Lutz00 fatcat:to4aaglfyra7tcdc443izhdq3e

A lightweight approach to research object data packaging

Eoghan Ó Carragáin, Carole Goble, Peter Sefton, Stian Soiland-Reyes
2019 Zenodo  
Here we propose Research Object Crate (or RO-Crate for short), an emerging lightweight approach to packaging research data with their structured metadata, rephrasing the Research Object model as schema.org  ...  annotations to formalize a JSON-LD format that can be used independently of infrastructure, e.g. in GitHub or Zenodo archives.  ...  This points to: a) appetite for general package/folder-oriented approach in different contexts; b) a generic solution won't work for all and needs to be domain-extensible; c) a tendency to re-invent the  ... 
doi:10.5281/zenodo.3250687 fatcat:dbzzywbqsfhwpd4obmgrawh2q4

Omnibus verification policies: a flexible, configurable approach to assertion-based software verification

T. Wilson, S. Maharaj, R.G. Clark
2005 Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)  
We explain the benefits of using the approaches together, present a set of guidelines to avoid potential conflicts and give an overview of how the Omnibus IDE provides support for the full range of assertion-based  ...  verification approaches within a single tool.  ...  Acknowledgements: We would like to thank Tevfik Bultan and Richard A. Kemmerer for support with an earlier version of the project. References  ... 
doi:10.1109/sefm.2005.29 dblp:conf/sefm/WilsonMC05 fatcat:33kozwqby5dfjafokeamzxlv5u

Model based system engineering approach of a lightweight embedded TCP/IP [article]

M. Z. Rashed, Ahmed E. Hassan, Ahmed I. Sharaf
2011 arXiv   pre-print
This research presents a model based system engineering approach of lightweight TCP/IP. The model contains the necessary phases for developing a lightweight TCP/IP for embedded systems.  ...  Therefore there is a need for software engineering approach to help engineers and developers to customize their own web based applications for embedded systems.  ...  The model based approach is used here using SysML as modeling language to model a lightweight TCP/IP architecture for embedded systems environment.  ... 
arXiv:1104.5387v1 fatcat:p2fp2fckuzdr5gzlbspr3qjhrm

Model-Based Testing in Agile/Lightweight Processes: A Process-Centred Review

Raman Ramsin, Masoumeh Taromirad
2019 IET Software  
It demonstrates that an effective MBT approach for lightweight processes has to specify how MBT activities are integrated into a development process, how and when MBT artefacts are generated in relation  ...  Accordingly, a set of integration criteria is introduced for complete incorporation of MBT into agile/lightweight processes.  ...  Effective management of change (mainly via reuse of test cases) would be a promising approach for addressing this challenge.  ... 
doi:10.1049/iet-sen.2018.5164 fatcat:iqrbynovxbalbblsym2jukrweq

Automated Configuration of Component-based Distributed Real-time and Embedded Systems from Feature Models

Jules White, Douglas C. Schmidt
2008 IFAC Proceedings Volumes  
We use an avionics mission computing case study based on the Lightweight CORBA Component Model (CCM) to (1) demonstrate the complexities of configuring components in/out of a component-based application  ...  To achieve a high-level of reuse, component-based DRE systems leverage late binding to allow dynamic system assembly at deployment time (e.g., via configuration scripts) rather than statically at compile-time  ...  As shown in this figure, coordinating multiple roles and execut- SOLUTION APPROACH: AN AUTOMATED CONFIGURATION ENGINE FOR LIGHTWEIGHT CCM APPLICATIONS This section describes the Fresh configuration  ... 
doi:10.3182/20080706-5-kr-1001.01168 fatcat:hp2rptqzjjcvlgnmhbeha2qzbi

RO-Crate, a lightweight approach to Research Object data packaging

Eoghan Ó Carragáin, Carole Goble, Peter Sefton, Stian Soiland-Reyes
2019 Workshop on Research Objects  
We are developing Research Object Crate (or RO-Crate for short), a lightweight approach to package research data with their structured metadata, based on schema.org annotations in a formalized JSON-LD  ...  This is increasingly important as researchers now rely heavily on computational analysis, yet we are facing a reproducibility crisis as key components are often not sufficiently tracked, archived or reported  ...  Challenges In the desire to make a lightweight approach that is also generally applicable we have focused primarily on RO-Crate as a way to capture and describe a dataset of neighbouring files, for instance  ... 
doi:10.5281/zenodo.3337883 dblp:conf/ro/CarragainGSS19 fatcat:ohonmmafebfvdmkyk3y5dgsfba
« Previous Showing results 1 — 15 out of 12,407 results