Sciweavers

1540 search results - page 58 / 308
» Automotive System Design - Challenges and Potential
Sort
View
METRICS
2002
IEEE
15 years 3 months ago
Testability Analysis of a UML Class Diagram
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
Benoit Baudry, Yves Le Traon, Gerson Sunyé
87
Voted
EDUTAINMENT
2007
Springer
15 years 5 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
ICSE
1997
IEEE-ACM
15 years 3 months ago
Argo: A Design Environment for Evolving Software Architectures
Software architectures evolve as the result of numerous, interrelated design decisions. At any point in an architecture’s evolution, current decisions can critically affect alte...
Jason E. Robbins, David M. Hilbert, David F. Redmi...
PUC
2000
83views more  PUC 2000»
14 years 10 months ago
Patterns of Home Life: Informing Design For Domestic Environments
This paper considers how we may provide support for the development of general design principles in domestic environments. In particular we examine the potential for using design p...
John A. Hughes, Jon O'Brien, Tom Rodden, Mark Roun...
DAC
2008
ACM
15 years 12 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
Alper Sen, Vinit Ogale, Magdy S. Abadir