Sciweavers

524 search results - page 50 / 105
» Debugging Models in the Context of Automotive Software Devel...
Sort
View
118
Voted
EMSOFT
2008
Springer
15 years 2 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
133
Voted
METRICS
2002
IEEE
15 years 5 months ago
A Generic Model and Tool Support for Assessing and Improving Web Processes
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
Daniel Rodríguez, Rachel Harrison, Manoranj...
100
Voted
HCI
2007
15 years 2 months ago
Activity Theoretical Analysis and Design Model for Web-Based Experimentation
This paper presents an Activity Theoretical analysis and design model for Web-based experimentation, which is one of the online activities that plays a key role in the development ...
Anh Vu Nguyen-Ngoc
ERLANG
2008
ACM
15 years 2 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
107
Voted
GTTSE
2007
Springer
15 years 6 months ago
A Landscape of Bidirectional Model Transformations
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
Perdita Stevens