A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Supporting Reuse in Event B Development: Modularisation Approach
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
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]
2010
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 2012; you can also visit the original URL.
The file type is application/pdf.
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]
2019
Computational Thinking Education
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.
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]
2017
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.
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]
2010
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 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2012
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
CONTROL FUNCTIONS DEVELOPMENT FOR DISTRIBUTED AUTOMATION SYSTEMS USING THE TORERO APPROACH
2005
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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Systems and 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 2017; you can also visit the original URL.
The file type is application/pdf.
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
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 -
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 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
2018
Journal of Integrative Bioinformatics
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.
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
2006
International Journal of Advanced Robotic Systems
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 2007; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Emerging Technologies in Web Intelligence
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.
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
2017
International Journal of Building Pathology and Adaptation
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.
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]
2013
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 2019; you can also visit the original URL.
The file type is application/pdf.
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