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.
Filters
Towards Classification of Lightweight Formal Methods
2018
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
Preserved Fulltext
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]
2008
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.
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]
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. ...
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
2007
Journal of Software and Systems Modeling
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.
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
2006
Social Science Research Network
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.
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)
2015
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
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.
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"
2018
Procedia CIRP
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 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
2019
Zenodo
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.
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
2000
Proceedings of the conference on The future of Software engineering - ICSE '00
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.
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
2019
Zenodo
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.
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
2005
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
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 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2011
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.
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
2019
IET Software
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 2022; you can also visit the original URL.
The file type is application/pdf.
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
2008
IFAC Proceedings Volumes
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 2008; you can also visit the original URL.
The file type is application/pdf.
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
2019
Workshop on Research Objects
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.
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