5407 search results - page 178 / 1082 » The Software Engineering Global Model |
145
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
123
Voted
QSIC
2006
IEEE
15 years 9 months ago
2006
IEEE
Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...
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...
128
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
130
Voted
EUROMICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...