Sciweavers

2599 search results - page 208 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
ATAL
2009
Springer
15 years 11 months ago
Virtual organization management eServices
This demonstration concentrates on eServices (supporting electronic services) for Virtual Organization (VO) management support. The eServices are provided by the VOM toolkit (a su...
Jirí Hodík, Jirí Vokrí...
APVIS
2004
15 years 6 months ago
A Colour-Filling Approach For Visualising Trait Evolution With Phylogenies
The development of powerful visualisation tools is a major challenge in bioinformatics. Phylogenetics, a field with a growing impact on a variety of life science areas, is experie...
Savrina F. Carrizo
129
Voted
QEST
2009
IEEE
15 years 11 months ago
Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
Elina Pacini Naumovich, Simona Bernardi
EMSOFT
2003
Springer
15 years 10 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
152
Voted
APSEC
1999
IEEE
15 years 9 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch