Filters








200 Hits in 6.3 sec

Deduction in the Verification Support Environment (VSE) [chapter]

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, AndreasWolpers Wolpers
1996 Lecture Notes in Computer Science  
The VSE-tool was developed by a consortium of German universities and industry to make a tool available which supports this formal development process.  ...  In order to assure the highest levels of trustworthiness of software formal methods for the development of software are required.  ...  Figure 1 shows the general method for formal software development in VSE. The concrete instance of this general method depends on the formal concepts used for modeling the desired system.  ... 
doi:10.1007/3-540-60973-3_92 fatcat:iqutvdhp3jby7hedhvwks7zjje

The VSE Refinement Method in Hets [chapter]

Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
2009 Lecture Notes in Computer Science  
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS.  ...  Thus the logic-independent layers of HETS are not modified and its proof management formalism can be applied to VSE specifications.  ...  Acknowledgements Work on this paper has been supported by the German Federal Ministry of Education and Research (Project 01 IW 07002 FormalSafe).  ... 
doi:10.1007/978-3-642-10373-5_34 fatcat:cbhnmdboofe4hhvdyjqzcmvftm

The VSE Refinement Method in Hets

Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
2013 Electronic Communications of the EASST  
We present the integration of the refinement method of the VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set Hets.  ...  Thus the proof management formalism provided by Hets can be applied for VSE specifications without modification of the logic independent layers of Hets.  ...  Acknowledgments Work on this paper has been supported by the German Federal Ministry of Education and Research (Project 01 IW 07002 FormalSafe) and the German Research Council (DFG) under grant MO-971/  ... 
doi:10.14279/tuj.eceasst.62.859 dblp:journals/eceasst/MossakowskiCML13 fatcat:24vc4e4hwvavhbfjo43np44hbu

A Critical Evaluation of Vibrational Stark Effect (VSE) Probes with the Local Vibrational Mode Theory

Niraj Verma, Yunwen Tao, Wenli Zou, Xia Chen, Xin Chen, Marek Freindorf, Elfi Kraka
2020 Sensors  
Over the past two decades, the vibrational Stark effect has become an important tool to measure and analyze the in situ electric field strength in various chemical environments with infrared spectroscopy  ...  The unique tool we used is the local mode analysis originally introduced by Konkoli and Cremer, in particular the decomposition of normal modes into local mode contributions.  ...  Conflicts of Interest: The authors declare no conflict of interest. Abbreviations The following abbreviations are used in this manuscript:  ... 
doi:10.3390/s20082358 pmid:32326248 fatcat:v4bxbotbxve7nlirpvb6azg4we

Verification Support Environment [chapter]

Frank Koob, Markus Ullmann, Stefan Wittmann
1996 Lecture Notes in Computer Science  
This paper describes the recently completed formal specification and verification tool Verification Support Environment (VSE).  ...  An advantage of the design of the VSE tool is the possibility of using formal and semiformal development methods combined in a unique working environment.  ...  VSE Version 1 is the first successful step to open the market for formal methods in software development.  ... 
doi:10.1007/3-540-61474-5_101 fatcat:io54pf5ijrbqnnj46lf3qy7knu

Verification Support Environment [chapter]

Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
2005 Lecture Notes in Computer Science  
The Verification Support Environment (VSE) is a CASE-tool that supports the user in the formal development of software.  ...  We claim that VSE is equally applicable in the domain of plan verification.  ...  Introduction The Verification Support Environment (VSE) supports large parts of the software-engineering process in a systematic way and is general enough to cover several aspects of formal modelling in  ... 
doi:10.1007/978-3-540-32254-2_27 fatcat:5k37hha4izbyza6oe5zgtsh2o4

Software Engineering Support Activities for Very Small Entities [chapter]

Vincent Ribaud, Philippe Saliou, Rory V. O'Connor, Claude Y. Laporte
2010 Communications in Computer and Information Science  
However this paper is more focused on support for Software Development and is slightly simpler that the RAPID-Q approach.  ...  the ways the company can manage its software development and maintenance.  ...  But it takes in account the necessity for the VSE to become autonomous in supporting its own development process. This section overviewed SE initiatives for VSEs and related work.  ... 
doi:10.1007/978-3-642-15666-3_15 fatcat:4hzvb6uzxzf3rjet66tt4hjkee

10.3.1 The Development of Systems Engineering International Standards and Support Tools for Very Small Enterprises

Claude Y. Laporte, Ken Ptack, Gauthier Fanmuy
2012 INCOSE International Symposium  
The working group developed standards and technical reports, ISO/IEC 29110, which were published in 2011 for organizations developing software.  ...  The future systems engineering standard is targeted at VSEs which do not have experience or expertise in tailoring ISO/IEC 15288. A draft document has been developed and reviewed.  ...  seek support for the formal development of an International standard. i) A proposal to develop a new set of SE standards for VSEs was prepared, by one of the co-author, and tabled by Canada at the France  ... 
doi:10.1002/j.2334-5837.2012.tb01416.x fatcat:dflkt6rjibdzdk2zthny3zou6q

Open Source Systems Engineering Guides, Deployment Packages and Support Tools for Very Small Enterprises -- A Case Study

Claude Y. Laporte, Ronald Houde
2015 INCOSE International Symposium  
In addition, and by design, the standard is supported by Deployment Packages, software tools and training kits. The INCOSE VSE working group developed the deployment packages.  ...  In tune with the need for low cost and flexibility, Open Source software tools are emerging to complete "Big League" development life-cycle toolsets, which are often out-of-reach to VSEs.  ...  in obstacles 2.0 Safety VSEs developing system or software.  ... 
doi:10.1002/j.2334-5837.2015.00059.x fatcat:sggn35dtl5dsjbti6ksjx2admm

Implementing ISO/IEC 29110 to Reinforce Four Very Small Entities of Mexico under an agile approach

Jezreel Mejia, Mirna Munoz, Claude Y Laporte
2019 IET Software  
Very small entities (VSEs) of software development have had a significant demand and economic impact in recent years, because most of them are the software producers for medium and big companies in order  ...  This task relies on having the knowledge and the experience to implement proven practices, which are contained in quality models and standards, to be able to develop quality software, while increasing  ...  (i) Analyse the environment: this analysis aims to know the real environment of the software development organisations in Zacatecas.  ... 
doi:10.1049/iet-sen.2019.0040 fatcat:f5xyyacusvfqzdxm4hxu2ly47u

An Innovative Approach to the Development of an International Software Process Lifecycle Standard for Very Small Entities

Rory V. O'Connor, Claude Y. Laporte
2014 International Journal of Information Technologies and Systems Approach  
For very small software development companies, the quality of their software products is a key to competitive advantage.  ...  The ISO/IEC 29110 standard is unique amongst software and systems engineering standards, in that the working group mandated to develop a new standard approached industry to conduct a needs assessment and  ...  ACKNOWLEGMENTS This work was supported, in part, by Science Foundation Ireland grant 10/CE/I1855 to Lero -the Irish Software Engineering Research Centre (www.lero.ie).  ... 
doi:10.4018/ijitsa.2014010101 fatcat:73st6h6ae5cndomo4isz3aq4gy

6.4.2 Systems Engineering International Standards and Support Tools for Very Small Enterprises

Claude Y. Laporte, Ronald Houde, Joseph Marvin
2014 INCOSE International Symposium  
More specifically, we will describe the following: • The ISO/IEC 29110 standards and guides for VSEs developing systems; • The set of deployment packages for systems engineering; • Two implementations  ...  Finally, the certification scheme is discussed as well as future developments.  ...  29110 standards and guides developed for software VSEs.  ... 
doi:10.1002/j.2334-5837.2014.tb03167.x fatcat:anfaf3xfvfhyzhp32ubk4udgd4

Consistent Integration of Formal Methods [chapter]

Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
2000 Lecture Notes in Computer Science  
The usability of formal concepts for system design depends essentially on their integration in the design process.  ...  and soft constraints, semantical integration of semantics of description techniques using a common semantic model, and finally methodical integration by an embedding in the development process.  ...  Furthermore, in the modeling phase the use of graphical support for model based development steps (refinement, splitting of transitions, combining channels, etc.) in AutoFocus must be investigated.  ... 
doi:10.1007/3-540-46419-0_5 fatcat:yuwzuojf6zc5hil5li3k7n3aqy

Systems and Software Engineering Standards for Very Small Entities: Implementation and Initial Results

Claude Y. Laporte, Rory V. O'Connor
2014 2014 9th International Conference on the Quality of Information and Communications Technology  
To address the needs of Very Small Entities (VSEs), a set of international standards and guides known as ISO/IEC 29110 has been developed.  ...  In this paper we present the results of early trials of this standard in an IT start-up and in an engineering enterprise and assess the lessons learnt for future research and industrial usage of this standard  ...  for VSEs developing software.  ... 
doi:10.1109/quatic.2014.12 dblp:conf/quatic/LaporteO14 fatcat:lresmnqymjfongadvtsk3vxwhm

Verisoft – secure biometric identification system [chapter]

Georg Rock, Gunter Lassmann, Mathias Schwan, Lassaad Cheikhrouhou
2008 Digital Excellence  
Support Environment System (VSE) [5] .  ...  CBI-protocol verification The properties we have presented in the previous sections are all verified with the help of the Verification Support Environment (VSE) system.  ... 
doi:10.1007/978-3-540-72621-0_8 fatcat:wditqcn2d5dwpoldr3lotfta2y
« Previous Showing results 1 — 15 out of 200 results