1141 search results - page 40 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
173
click to vote
ISPW
2006
IEEE
16 years 3 days ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
165
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
165
Voted
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
176
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
160
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...