92,823 Hits in 3.0 sec

Modularization of Refinement Steps for Agile Formal Methods [chapter]

Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
2017 Lecture Notes in Computer Science  
We have developed tool support for the language AsmetaL and evaluated our approach by means of a case study.  ...  However, many formal methods rely on a refinement-based development process which poses problems for their integration into agile processes.  ...  We thank Paolo Arcaini and Angelo Gargantini for their valuable support with the Asmeta framework and providing the original AsmetaL refinement sequence for the Landing Gear System case study.  ... 
doi:10.1007/978-3-319-68690-5_2 fatcat:bw736aitmvh6rhenrewbvnvwry

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems [chapter]

Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
2013 Lecture Notes in Computer Science  
Motivation Dissemination of Verication Tools Application of formal methods to dedicated cases studies Towards technological transfer to industry Tools organised around formalisms Academics = Developers  ...  Reuse of Formalisms  ... 
doi:10.1007/978-3-642-41202-8_14 fatcat:xpcy6lrugfgvfoslz6xk2uxddi

Developing BON as an Industrial-Strength Formal Method [chapter]

Richard F. Paige, Jonathan S. Ostroff
1999 Lecture Notes in Computer Science  
Some researchers are also looking to UML as a basis for formal methods development.  ...  We describe the properties that an industrial-strength formal method must have, show how algorithm refinement can be done in BON (as an example of using BON for formal development), and contrast BON with  ...  Modularity is an essential quality in an industrial-strength formal method. Modularity lets developers focus their attentions on small parts of a system at a time.  ... 
doi:10.1007/3-540-48119-2_46 fatcat:dfca6efxlnfxdmgeuktynlydgq

Page 78 of Automation and Remote Control Vol. 54, Issue 6 [page]

1993 Automation and Remote Control  
These methods, models, algorithms, and software tools are widely used in developing modular MISs of different classes and for different purposes.  ...  At present, many software tools that automate the solution of a number of tasks in the modular design of MISs have been developed.  ... 

Transition-Oriented Programming: Developing Verifiable Systems [article]

Yepeng Ding, Hiroyuki Sato
2020 arXiv   pre-print
It is extremely challenging to develop verifiable systems that are regulated by formal specifications and checked by formal verification techniques in practice.  ...  TOP introduces the theories of the transition system as the joint of the implementation and formal verification to promote formal thinking during development.  ...  Conclusion We have presented TOP, a novel programming paradigm for developing verifiable systems.  ... 
arXiv:2009.06029v2 fatcat:clfwy2itsfa7za5djhmvow3aa4

Modular Modeling of Biological Systems

Ilya Kiselev, Fedor Kolpakov
2013 Virtual Biology  
Results: We have developed a modular approach to the modeling of complex biological systems.  ...  It includes a formal definition of graphical notation for modular models, an algorithm for the transformation of a modular model into a non-modular model which is appropriate for simulation using standard  ...  There are a lot of modeling and simulation tools for systems biology. For example, the most complete list of tools supporting SBML is available at and includes more than 250 tools.  ... 
doi:10.12704/vb/e11 fatcat:xc5tbsatpjf4bnxwptmmludz4y

From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools [chapter]

François Fages
2006 Lecture Notes in Computer Science  
Our current work aims at developing a modular modeling discipline for quantitative models based on a full decomposition of interaction rules.  ...  -A third challenge for systems biology will be the possibility to change the way molecular cell biology is taught by making it more formal, putting formal models and tools at the center of the courses.  ...  Our current work aims at developing a modular modeling discipline for quantitative models based on a full decomposition of interaction rules.  ... 
doi:10.1007/11732488_6 fatcat:og573cyqbvhbtfpezmop6lifmi

Modularity-Oriented Refactoring

Sergio Bryton, Fernando Brito e Abreu
2008 Software Maintenance and Reengineering (CSMR), Proceedings of the European Conference on  
This is a proposal for a method, supported by a tool, for cross-paradigm refactoring (e.g. from OOP to AOP), based on paradigm and formalism-independent modularity assessment.  ...  Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks such as detecting smells  ...  PIMETA offers provisions for performing a formal comparison of software systems using the M2DM approach.  ... 
doi:10.1109/csmr.2008.4493330 dblp:conf/csmr/BrytonA08 fatcat:pgn7dv3zxffszn3hdlvmaz4btq

Modules for Rapid Application Development of Web-Based Information Systems (RADWIS)

S. Cheresharov, H. Krushkov, S. Stoyanov, I. Popchev
2017 Cybernetics and Information Technologies  
This paper describes a model of modular system for Rapid Application Development of Web-based Information Systems (RADWIS).  ...  A workflow engine module, based on the Petri Nets theory, allows a graphical and formal mathematical solution for a wide variety of problems.  ...  By adding a module that offers mathematical formalism for modelling parallel processes, we can further extend the abilities of the modular system for creating applications, by using formal mathematical  ... 
doi:10.1515/cait-2017-0033 fatcat:xakqh2p5obcx7l2ctjyitfpauu

A Metamodel for Component-Based Service Modeling

Michael Becker, Stephan Klingner
2013 International Journal of Service Science Management Engineering and Technology  
This work presents a metamodel implementing standardization and modularization concepts. Furthermore, we provide a formal framework for service modeling and configuration.  ...  Due to industrialization of services, organizations need to establish new approaches for tackling challenges like increased competition, complexity, and pressure on the market because of prices.  ...  To make these principles work in practice and to develop supporting tools, it is necessary to establish a formal framework.  ... 
doi:10.4018/jssmet.2013040105 fatcat:4ncopj4q3jdwnlzwg6xshybb5i

Maude Object-Oriented Action Tool

André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
2008 Electronical Notes in Theoretical Computer Science  
This paper reports on the development of Maude Object-Oriented Action Tool and its application to the formal specification of programming languages.  ...  In addition to it, the tool combines the modularity aspects observed in the object-oriented approach with the efficient execution and analysis of the Maude system.  ...  Acknowledgement We would like to thank MMT authors, Christiano Braga and Fabricio Chalub, for the interest in this work and for the helpful support while we were using their tool to develop MOOAT.  ... 
doi:10.1016/j.entcs.2008.03.068 fatcat:76ft5rtr7zcypbjlh5xdswck6i

Design Processes in Pictogram Design: Form and Harmony through Modularity

Carlos Rosa
2015 Procedia Manufacturing  
One of the intended outcomes was the possibility to propose and systematize one, or more, design methods and design procedures that aim to achieve a formal coherence in pictographic systems for use in  ...  Besides the possibility to test and support the idea that a modular methods is better to obtain formal coherence, and it was also possible to get results about two different ways to use modular grids in  ...  Note that in order to achieve formal intra-system coherence, the identified design method that best suits this purpose is the Modular Standardized Grid Method and, in contrast, the Geometric Method gives  ... 
doi:10.1016/j.promfg.2015.07.812 fatcat:fjcvba2pnzcw5igyugiwitgusa

The Isabelle Framework [chapter]

Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow
2008 Lecture Notes in Computer Science  
Isabelle/Isar provides sophisticated extra-logical infrastructure supporting structured proofs and specifications, including concepts for modular theory development.  ...  Users can build further formal-methods tools on top, e.g. see [53] .  ...  Systems verification. The Verisoft project formalized a whole computer system from the hardware up to an operating system kernel [2] and a compiler for C-dialect [24] .  ... 
doi:10.1007/978-3-540-71067-7_7 fatcat:y75g4zyzmjdgbkmosmujtq7yra

Fomal Methods and Analyses in Software Product Line Engineering [chapter]

Ina Schaefer, Maurice H. ter Beek
2014 Lecture Notes in Computer Science  
methods and analyses techniques for SPLE, and 2. to create a broader community interested in formal methods and analysis techniques for SPLs in order to keep SPLE research and tools up-to-date with the  ...  While some analysis approaches (e.g. for feature modeling and variant management) and formal methods and automated verification techniques and tools (e.g.  ...  The first part consists of formal modeling approaches for variable software. The second part considers formal analysis, testing and verification techniques for variant-rich software systems and SPLs.  ... 
doi:10.1007/978-3-662-45234-9_18 fatcat:wn3skieddvfuhgkb7u5hjzdhwq

The Asf+Sdf Meta-environment documentation tools for free [chapter]

M. G. J. Brand, E. Visser
1995 Lecture Notes in Computer Science  
The executability of the specifications provides not only a mechanism for rapid prototyping, but also tools that can be connected to a programming environment for the language specified.  ...  Over the last 10 years, the programming environments group at CWI and UvA in Amsterdam has conducted research on the generation of programming environments from formal specifications .  ...  for the development and prototyping of programming environments for programming languages [5] .  ... 
doi:10.1007/3-540-59293-8_242 fatcat:67fl5lkaunfsbbtmuzcsvnrvoi
« Previous Showing results 1 — 15 out of 92,823 results