22698 search results - page 139 / 4540 » Modeling in Software Engineering |
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defe...
141
click to vote
ICSE
2003
IEEE-ACM
15 years 8 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
104
Voted
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
155
click to vote
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
94
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM