4360 search results - page 485 / 872 » Socio-technical systems: From design methods to systems engi... |
210
click to vote
SERP
2003
15 years 8 months ago
2003
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
154
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
175
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
157
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
164
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...