Sciweavers

547 search results - page 38 / 110
» FeatureIDE: A tool framework for feature-oriented software d...
Sort
View
ISOLA
2004
Springer
14 years 1 months ago
EZPetri: A Petri net interchange framework for Eclipse based on PNML
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
Gabriel Alves, Adilson Arcoverde, Ricardo Massa Fe...
INAP
2001
Springer
14 years 11 days ago
A Framework for the Search And Rescue Domain
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...
Abraham Rodríguez-Rodríguez, Miguel ...
OOPSLA
2005
Springer
14 years 1 months ago
PolyD: a flexible dispatching framework
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
Antonio Cunei, Jan Vitek
ICFEM
1997
Springer
14 years 3 days ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
EUROMICRO
2009
IEEE
14 years 2 months ago
A Component-Based Technology for Hardware and Software Components
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
Luka Lednicki, Ana Petricic, Mario Zagar