Sciweavers

255 search results - page 11 / 51
» Flexible incremental development by integrating specificatio...
Sort
View
UML
2005
Springer
15 years 5 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
ENTCS
2008
114views more  ENTCS 2008»
14 years 11 months ago
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
Paolo Bottoni, Francesco Parisi-Presicce, Simone P...
89
Voted
PDSE
1998
114views more  PDSE 1998»
15 years 1 months ago
Tool Supported Specification and Simulation of Distributed Systems
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
Franz Huber, Sascha Molterer, Andreas Rausch, Bern...
RSP
1999
IEEE
122views Control Systems» more  RSP 1999»
15 years 4 months ago
Incremental Compilation for Logic Emulation
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
Russell Tessier
FOAL
2008
ACM
15 years 1 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz