9974 search results - page 377 / 1995 » Software Interconnection Models |
185
Voted
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
263
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
156
click to vote
PSYCHNOLOGY
2007
15 years 6 months ago
2007
Free Software is sometimes considered solely a technical option, but that is a quite limited point of view: we suggest, indeed, that Free Software is not merely a technical option...
146
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
230
click to vote
ISESE
2003
IEEE
16 years 7 hour ago
2003
IEEE
A software development project coordinates work by using work items that represent customer, tester, and developer found defects, enhancements, and new features. We set out to fac...