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.
Filters
An Agenda for Specifying Software Components with Complex Data Models
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
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]
1998
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 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
2001
Science of Computer Programming
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 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
2005
Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications
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.
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
2015
2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering
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.
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]
1999
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.
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
2000
International journal of software engineering and knowledge engineering
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 2003; you can also visit the original URL.
The file type is application/pdf.
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]
2000
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.
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]
1991
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 2020; you can also visit the original URL.
The file type is application/pdf.
, 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
2016
International journal of computer integrated manufacturing (Print)
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.
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
1998
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications - EW 8
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 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Encyclopedia of Systems Biology
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 2015; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11
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 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]
1997
IFIP Advances in Information and Communication Technology
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.
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
2010
Electronic Communications of the EASST
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.
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