Filters








35,076 Hits in 2.6 sec

An Agenda for Specifying Software Components with Complex Data Models [chapter]

Kirsten Winter, Thomas Santen, Maritta Heisel
1998 Lecture Notes in Computer Science  
The method is expressed as an agenda, which is a list of activities to be performed for setting up the software specification, complemented by validation conditions that help detect and correct errors.  ...  We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-processed to express functional and  ...  The traffic light case study has provided a proof of concept for the approach presented in this paper. It is not an academic example but a real-life industrial application.  ... 
doi:10.1007/3-540-49646-7_2 fatcat:6jt3tspoxrbupk5kb342xrx2ra

Specifying embedded systems with statecharts and Z: An agenda for cyclic software components [chapter]

Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
1998 Lecture Notes in Computer Science  
We address this problem by the concept of an agenda. An agenda is a list of activities to be performed for solving a task in software engineering.  ...  The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems.  ...  We would especially like to thank Mirco Conrad and Eckard Lehmann for their work on the cruise control case study, and Thomas Santen for his comments on a draft of this paper.  ... 
doi:10.1007/bfb0053585 fatcat:o53g6b3vxzdkfmjuushlpqdhlq

Specifying embedded systems with statecharts and Z: an agenda for cyclic software components

Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
2001 Science of Computer Programming  
We address this problem by the concept of an agenda. An agenda is a list of activities to be performed for solving a task in software engineering.  ...  The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems.  ...  Agenda for cyclic software components The agenda for cyclic software components consists of three stages, which are shown in Fig. 4 .  ... 
doi:10.1016/s0167-6423(00)00024-1 fatcat:vgn4fsebyvftrgm6oflxbn7y7i

A multi-formalism modeling composability framework: agent and discrete-event models

Hessam Sarjoughian, Dongping Huang
2005 Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications  
Model composability is concerned with techniques for developing a whole model of a system from the models of its sub-systems.  ...  A high-level software specification that illustrates an implementation of this framework is described. Ongoing and future research directions are also briefly presented.  ...  For example, the internal structure of a component can specify state set, state transitions, and pair-wise timed input/output data sets.  ... 
doi:10.1109/distra.2005.4 dblp:conf/dsrt/SarjoughianH05 fatcat:mri7nlnsr5hopa7nr3xeen5o4m

DICE: Quality-Driven Development of Data-Intensive Cloud Applications

Giuliano Casale, Danilo Ardagna, Matej Artac, Franck Barbier, Elisabetta Di Nitto, Alexis Henry, Gabriel Iuhasz, Christophe Joubert, Jose Merseguer, Victor Ion Munteanu, Juan Fernando Perez, Dana Petcu (+4 others)
2015 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering  
To foster a community response to these challenges, we present the research agenda of DICE, a quality-aware MDE methodology for data-intensive cloud applications.  ...  In this paper, we consider the question of how quality-aware MDE should support data-intensive software systems.  ...  . • Data-aware efficiency in costs: data efficiency also deals with costs, which are more complex to assess for data-intensive applications than for canonical web applications.  ... 
doi:10.1109/mise.2015.21 dblp:conf/icse/CasaleAABNHIJMM15 fatcat:j75xju3pinfm5eouks4ky7zwni

Structural biology metaphors applied to the design of a distributed object system [chapter]

Ladislau Bölöni, Ruibing Hao, Kyungkoo Jun, Dan C. Marinescu
1999 Lecture Notes in Computer Science  
We argue that when building complex systems out of components one can emulate the lock and key mechanisms used by proteins to recognize each other.  ...  In this paper we present the basic ideas of a distributed object middlcwarc for nC!twork computing.  ...  The task of an application programmer is limited to specify the agenda, the finite state machine of the agent, and the strategies associated with each state.  ... 
doi:10.1007/bfb0097909 fatcat:udxgkhrfvzf7tekojbcvq6urlu

DISTRIBUTED PROCESS PLANNING SUPPORT WITH MILOS

SIGRID GOLDMANN, JÜRGEN MÜNCH, HARALD HOLZ
2000 International journal of software engineering and knowledge engineering  
Software development processes are highly creative, and therefore prone to change frequently.  ...  Quality models map measurable influence factors to quality factors of interest. 3. In this paper, we use the terms "plan" and "schedule" synonymously.  ...  The work was supported by NSERC, Nortel, the University of Calgary, and the DFG with several research grants. Literature  ... 
doi:10.1142/s0218194000000298 fatcat:xep26ws27vaitkcrfuhqb7oxcy

The Bond Agent System and Applications [chapter]

Ladislau Bölöni, Kyungkoo Jun, Krzysztof Palacz, Radu Sion, Dan C. Marinescu
2000 Lecture Notes in Computer Science  
The design of complex systems requires components with different degrees of autonomy, intelligence and mobility, any component mayor may not be viewed as an agent depending upon the particular circumstances  ...  At the same time, we regard the software engineering of agents as a major concern and believe that software agent technology should be integrated with other methods and technologies used to build complex  ...  Our goal is to build an agent using off-the-shelf components. • We aim to control and debug agents using a Web-based interface.  ... 
doi:10.1007/978-3-540-45347-5_9 fatcat:duvwa2hmubeilllzkpmbv4qrbu

Spade — Towards case tools that can guide design [chapter]

Veikko Seppänen, Marko Heikkinen, Raino Lintulampi
1991 Lecture Notes in Computer Science  
, an agenda, an explainer, a design history recorder and a simulation-based design analyzer.  ...  The emphasis of our demonstration is on the allocation of specified data transmission functions to concurrent processing units, such as real-time tasks and interrupt handlers.  ...  Acknowledgements: The research project carried out for implementing Spade and Espex was supported financially by the Technology Development Centre of Finland, the Technical Research Centre of Finland,  ... 
doi:10.1007/3-540-54059-8_87 fatcat:ken7ou253zbmfm4q4voc7zz5ki

Erlang-based control implementation for a holonic manufacturing cell

Karel Kruger, Anton Basson
2016 International journal of computer integrated manufacturing (Print)  
Holonic control is generally used in reconfigurable manufacturing systems since the modularity of holonic control holds the promise of easier reconfiguration, reduction in complexity and cost, along with  ...  As an alternative to the commonly used agent-based approach, this paper presents an Erlang-based holon internal architecture and implementation methodology that exploits Erlang's capabilities.  ...  A generic model for a resource holon to suit an Erlang implementation is presented, with four functional holon components, i.e. communication, agenda manager, execution and interfacing.  ... 
doi:10.1080/0951192x.2016.1195923 fatcat:rbnpnstaqjgmpan377iowj2drq

Composing distributed applications through generative communication

Tom Holvoet, Yolande Berbers
1998 Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications - EW 8  
We distinguish between static composition, which shares its goals with so-called architectural description languages (ADLs), and dynamic composition, which denotes a run-time mechanism for assembling software  ...  In this paper, we present CO3PS, a software development method for building agent-based software. Agents coordinate through generative communication.  ...  This language is used to specify components which can then be composed with other components.  ... 
doi:10.1145/319195.319228 dblp:conf/sigopsE/HolvoetB98 fatcat:3crf4mjsnfgmhej3wz55resyoy

Synthetic Models and Methods [chapter]

C. Anthony Hunt, Andrew D. Gewitz, Tai Lam
2013 Encyclopedia of Systems Biology  
Software is executed to simulate equation output, enabling a quantitative mapping from simulation output to PK data. Metrics specify the goodness of fit.  ...  Definition A synthetic (biomimetic) model (SM) is constructed from extant, autonomous software components whose existence and purpose are independent of the underlying model they comprise.  ... 
doi:10.1007/978-1-4419-9863-7_569 fatcat:7sf66yf2vnbw5lk6nudktzmwoy

Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation

Arnaud Blouin, Brice Morin, Olivier Beaudoux, Grégory Nain, Patrick Albers, Jean-Marc Jézéquel
2011 Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11  
In this paper, we propose to combine aspect-oriented modeling with property-based reasoning to tame complex and dynamic user interfaces.  ...  The proposed approach has been evaluated through EnTiMid, a middleware for home automation.  ...  Its abstract presentation defines the agenda model (see Listing 3) . An Agenda has a name, contains Event and Date instances.  ... 
doi:10.1145/1996461.1996500 dblp:conf/eics/BlouinMBNAJ11 fatcat:k4ofg75tand53el7swnnizyp3u

Formalizing Composable Software Systems — A Research Agenda [chapter]

O. Nierstrasz, J.-G. Schneider, M. Lumpe
1997 IFIP Advances in Information and Communication Technology  
Ad hoc approaches to specifying component frameworks can lead to unexpected semantic conflicts.  ...  We propose, instead, to develop a rigorous foundation for composable software systems by a series of experiments in modelling concurrent and object-based software abstractions as composable, communicating  ...  We present, in section 2, a list of requirements and a research agenda for formalizing software composition.  ... 
doi:10.1007/978-0-387-35082-0_20 fatcat:bugqw47sk5g3nihurxlh7cvuve

GUI Inspection from Source Code Analysis

Joao Carlos Silva, José Creissac, Joao Saraiva
2010 Electronic Communications of the EASST  
Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential.  ...  One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models.  ...  While the GUI layer was not specifically targeted in the analysis, the results indicated a negative correlation between component size and user satisfaction with the software.  ... 
doi:10.14279/tuj.eceasst.33.459 dblp:journals/eceasst/SilvaCS10 fatcat:3uaystgf3zghhemqqsnp4chgge
« Previous Showing results 1 — 15 out of 35,076 results