153 search results - page 11 / 31 » Arena Software Tutorial |
ICSE
2001
IEEE-ACM
14 years 1 days ago
2001
IEEE-ACM
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Investigations of software development practices, processes, and techniques frequently report separately on the costs and benefits of a phenomenon under study, but rarely adequate...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
CSEE
2010
Springer
13 years 5 months ago
2010
Springer
This paper shares the experiences and lessons learned from conducting an NSF-sponsored eight-week summer research program for ten undergraduate students from multiple universities...
TCAD
2008
13 years 7 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...