648 Hits in 5.1 sec

Supporting Reuse in Event B Development: Modularisation Approach [chapter]

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010 Lecture Notes in Computer Science  
In this paper we propose a conservative extension of Event B formalism to support modularization. We demonstrate how our approach can support reuse in the formal development in the space domain.  ...  On the other hand, modularization enables reuse of formally developed components in the formal product line development.  ...  Acknowledgments This work is supported by IST FP7 DEPLOY Project. Supporting Reuse in Event B Development: Modularisation Approach  ... 
doi:10.1007/978-3-642-11811-1_14 fatcat:774gqpcnx5bgdovlgfhqcslau4

Developing Mode-Rich Satellite Software by Refinement in Event B [chapter]

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010 Lecture Notes in Computer Science  
We show that re refinement in Event-B provides the engineers with a scalable formal technique that enables both development of mode-rich systems and proof-based verification of their mode consistency.  ...  We show that re refinement in Event-B provides the engineers with a scalable formal technique that enables both development of mode-rich systems and proof-based verification of their mode consistency.  ...  We have developed a modularisation plug-in [20] implementing the modularisation extension for Event-B that we have proposed previously [13] .  ... 
doi:10.1007/978-3-642-15898-8_4 fatcat:rpqfiozucnbfhjwvam2b5427ci

Learning Composite and Prime Numbers Through Developing an App: An Example of Computational Thinking Development Through Primary Mathematics Learning [chapter]

Siu-Cheung Kong
2019 Computational Thinking Education  
Learners will experience CT practices like reusing and remixing, being iterative and incremental, testing and debugging, abstracting and modularising and algorithmic thinking in developing the app.  ...  Learners will develop CT perspectives in the process of expressing, questioning and connecting with the digital world in developing the app.  ...  CT Practices Development Learners can also experience CT practices, such as reusing and remixing, being iterative and incremental, testing and debugging, abstracting and modularising, and algorithmic thinking  ... 
doi:10.1007/978-981-13-6528-7_9 fatcat:pftr6xvmzfet3afa6f6rybij4a

Specification Clones: An Empirical Study of the Structure of Event-B Specifications [chapter]

Marie Farrell, Rosemary Monahan, James F. Power
2017 Lecture Notes in Computer Science  
Our study contributes to furthering research into the area of metrics and modularisation in Event-B.  ...  In this paper we present an empirical study of formal specifications written in the Event-B language.  ...  Modularisation of Event-B Specifications There have been a number of suggested approaches to modularising Event-B specifications.  ... 
doi:10.1007/978-3-319-66197-1_10 fatcat:ojhfctizhrakrhfvnzu24fnj34

A Role-Based Approach towards Modular Language Engineering [chapter]

Christian Wende, Nils Thieme, Steffen Zschaler
2010 Lecture Notes in Computer Science  
In this paper, we propose a modularisation approach covering both syntax and semantics.  ...  We discuss benefits and problematic issues of the approach in a case study modularising the Object Constraint Language (OCL).  ...  Acknowledgments This work was funded by the EC in the FP6 projects MODELPLEX and AMPLE, the FP7 project MOST, and by the German Ministry of Education and Research in the feasiPLe project.  ... 
doi:10.1007/978-3-642-12107-4_19 fatcat:vbv43yqalbdpvjvatycz5dmddu

Node Coordination in Peer-to-Peer Networks [chapter]

Luigia Petre, Petter Sandvik, Kaisa Sere
2012 Lecture Notes in Computer Science  
In this paper, we employ the modularisation approach of the Event-B formalism to model the separation of the functionality of each peer in a peer-to-peer network from the network structure itself, thereby  ...  The resulted approach demonstrates considerable expressivity in modelling coordination aspects in peer-to-peer networks.  ...  We would like to thank Alexei Iliasov for helping us to better understand the Modularisation plugin.  ... 
doi:10.1007/978-3-642-30829-1_14 fatcat:6cuy3ucccrct3fbwcaaymdcb3i


Luca Ferrarini, Carlo Veber, Christian Schwab, Marcus Tangermann, Aggeliki Prayati
2005 IFAC Proceedings Volumes  
The paper presents the design and implementation of an innovative Integrated Development Environment, developed within the on-going European Research Project TORERO, to model and design reusable distributed  ...  control application can be executed on a specially developed runtime environment.  ...  to the devices, validation/verification support, version control support, documentation support, support of the reuse/import of previously developed control functions, specification of the communication  ... 
doi:10.3182/20050703-6-cz-1902.01456 fatcat:ci3f5c6o4vfftbxwt5tfwxh24e

Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming [chapter]

Alessandro Ricci, Michele Piunti, Mirko Viroli
2010 Lecture Notes in Computer Science  
Agent modularisation is a main issue in agent and multi-agent system programming.  ...  In this paper we introduce a further perspective, which can be considered complimentary to existing approaches, which accounts for externalizing some of such functionalities into the computational environment  ...  A role-based approach to modularisation and reuse has been proposed in the context of AgentFactory agent platform and ALPHA programming language.  ... 
doi:10.1007/978-3-642-13338-1_3 fatcat:rxv7srmmkvcubnvphhybdbrb6m

Pounamu: A meta-tool for exploratory domain-specific visual language tool development

Nianping Zhu, John Grundy, John Hosking, Na Liu, Shuping Cao, Akhil Mehra
2007 Journal of Systems and Software  
Domain-specific visual language tools have become important in many domains of software engineering and end user development.  ...  However building such tools is very challenging with a need for multiple views of information and multi-user support, the ability for users to change tool diagram and meta-model specifications while in  ...  This approach can allow back ends to be developed independently of the editing environment enhancing modularisation.  ... 
doi:10.1016/j.jss.2006.10.028 fatcat:6i7cvnbys5byxnjd44kdttjg3y

Towards a unified event-based software architecture

John C. Grundy, John G. Hosking, Warwick B. Mugridge
1996 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -  
We describe our recent work in developing visual languages and support environments for the design and implementation of a range of event-based software architectures.  ...  Event-based software architectures are commonly used to solve a variety of problems.  ...  These permit the development of flexible consistency and coordination mechanisms, and, if carefully designed, support much component reuse [3, 5, 13] .  ... 
doi:10.1145/243327.243624 fatcat:fenxgxougfbqfhk6khr52qsygm

BioModelKit – An Integrative Framework for Multi-Scale Biomodel-Engineering

Mary-Ann Blätke
2018 Journal of Integrative Bioinformatics  
BMK facilitates and encourages multi-scale model-driven predictions and hypotheses supporting experimental research in a multilateral exchange.  ...  BioModelKit (BMK) approaches this challenge by offering an integrative and versatile framework for biomodel-engineering based on a modular modelling concept with the purpose: (i) to represent knowledge  ...  Acknowledgement We would like to thank Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, and Martin Schwarick for their contributions in developing and supporting the use of Snoopy, Marcie, and Charlie  ... 
doi:10.1515/jib-2018-0021 pmid:30205646 fatcat:ioefzk6bffa5tcu64m3jcx3r64

Stable Aspects in Robot Software Development

Davide Brugali, Paolo Salvaneschi
2006 International Journal of Advanced Robotic Systems  
During the last few years, many ideas and technologies of software engineering (e.g. modularity, OO development and design patterns) were introduced in the development of robotic systems to improve the  ...  The Aspect Oriented Software Development is a recently emerged approach for modelling, designing and encapsulating the above-mentioned crosscutting concerns (aspects).  ...  In order to enhance reuse, the software development process should focus on those aspects of the domain that will remain stable over time.  ... 
doi:10.5772/5765 fatcat:lh5lm57pc5bkdnaqomn6lmzghq

Context-oriented Software Development

Basel Magableh, Stephen Barrett
2012 Journal of Emerging Technologies in Web Intelligence  
Supporting the development and execution of self-adaptive software systems raises numerous challenges, from development processes, design space and development tools, to the adaptation mechanism that ensures  ...  This thesis explores how far we can support the engineering of self-adaptive applications using generic development paradigm provided by non-specialized language frameworks, and not being limited to a  ...  The methodology takes care of the context changes and enables the developer to model them in an abstract level. ! B A B C B C B Unforeseen Changes Scale form A.  ... 
doi:10.4304/jetwi.4.2.172-180 fatcat:vaduxydy2rfkdcekjp2oyifgoi

A critical review of the developments in building adaptability

Oliver Heidrich, John Kamara, Sebastiano Maltese, Fulvio Re Cecconi, Mario Claudio Dejaco
2017 International Journal of Building Pathology and Adaptation  
Reuse potential decreases as the building age approaches its effective physical life.  ...  IT supported collaborative work in A/E/C projects: A ten-year review.  ... 
doi:10.1108/ijbpa-03-2017-0018 fatcat:4gpr3ytvbvditkvlbc7siyoehu

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System [chapter]

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2013 Lecture Notes in Computer Science  
We demonstrate how to rigorously specify and verify essential properties of resilience mechanisms of multi-robotic systems by refinement in Event-B.  ...  We demonstrate our approach by a case study -development and assessment of a cleaning multi-robotic system.  ...  Event-B is a formal top-down approach to correct-by-construction system development.  ... 
doi:10.1007/978-3-642-40894-6_9 fatcat:ucmw2tetbrdebc3mqjrwmy3kpy
« Previous Showing results 1 — 15 out of 648 results