ENTCS 2007 | Sciweavers

9

ENTCS
2007

91views more ENTCS 2007»

Towards a Coordination Model for Interactive Systems

13 years 4 months ago

When modelling complex interactive systems, traditional interactor-based approaches suﬀer from lack of expressiveness regarding the composition of the diﬀerent interactors pre...

Marco Antonio Barbosa, Luís Soares Barbosa,...

claim paper

Read More »

7

click to vote

ENTCS
2007

90views more ENTCS 2007»

Model-checking Driven Design of Interactive Systems

13 years 4 months ago

Download fmis.iist.unu.edu

Antonio Cerone, Norzima Elbegbayan

claim paper

Read More »

14

click to vote

ENTCS
2007

107views more ENTCS 2007»

Applications = Components + GLoo

13 years 4 months ago

Download www.cs.iastate.edu

We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...

Markus Lumpe

claim paper

Read More »

9

click to vote

ENTCS
2007

80views more ENTCS 2007»

SAT-based Abstraction Refinement for Real-time Systems

13 years 4 months ago

Download homepages.cwi.nl

Stephanie Kemper, André Platzer

claim paper

Read More »

14

click to vote

ENTCS
2007

80views more ENTCS 2007»

Combining Product Lines and Model-Based Development

13 years 4 months ago

Download www4.in.tum.de

Using model-based development has shown to increase eﬃciency and eﬀectiveness of software production. However, with software as an integral part of products with customized fu...

Bernhard Schätz

claim paper

Read More »

13

click to vote

ENTCS
2007

115views more ENTCS 2007»

Self Management and the Future of Software Design

13 years 4 months ago

Download www.info.ucl.ac.be

Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...

Peter Van Roy

claim paper

Read More »

11

click to vote

ENTCS
2007

114views more ENTCS 2007»

Parametric Performance Contracts for Software Components with Concurrent Behaviour

13 years 4 months ago

Download se.informatik.uni-oldenburg.de

Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...

Jens Happe, Heiko Koziolek, Ralf Reussner

claim paper

Read More »

8

click to vote

ENTCS
2007

101views more ENTCS 2007»

Model-checking Distributed Components: The Vercors Platform

13 years 4 months ago

Download hal.archives-ouvertes.fr

This article presents a component veriﬁcation platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...

Tomás Barros, Antonio Cansado, Eric Madelai...

claim paper

Read More »

10

click to vote

ENTCS
2007

97views more ENTCS 2007»

Safety-Oriented Design of Component Assemblies using Safety Interfaces

13 years 4 months ago

Download www.ida.liu.se

This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...

Jonas Elmqvist, Simin Nadjm-Tehrani

claim paper

Read More »

10

click to vote

ENTCS
2007

70views more ENTCS 2007»

Component Substitutability via Equivalencies of Component-Interaction Automata

13 years 4 months ago

Download www-sop.inria.fr

We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...

Ivana Cerná, Pavlína Vareková...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers