5984 search results - page 316 / 1197 » The Informal Nature of Systems Engineering |
194
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
173
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
206
click to vote
SIMULATION
2011
15 years 1 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
173
click to vote
SELMAS
2005
Springer
16 years 6 days ago
2005
Springer
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
189
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...