Sciweavers

1459 search results - page 150 / 292
» Tool Supported Development of Service-Based Systems
Sort
View
151
Voted
WSC
2000
15 years 5 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson
146
Voted
CSMR
2004
IEEE
15 years 7 months ago
Documenting Maintenance Tasks Using Maintenance Patterns
A common problem in software maintenance is the lack of documentation required for carrying out the maintenance tasks. Both expected and unexpected maintenance tasks use and produ...
Imed Hammouda, Maarit Harsu
134
Voted
AVI
2004
15 years 5 months ago
Sim-U-Sketch: a sketch-based interface for SimuLink
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
Levent Burak Kara, Thomas F. Stahovich
131
Voted
ACMSE
2004
ACM
15 years 9 months ago
Integrating publisher/subscriber services in component middleware for distributed real-time and embedded systems
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...
George T. Edwards, Douglas C. Schmidt, Aniruddha S...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 9 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...