4048 search results - page 494 / 810 » Design Science, Engineering Science and Requirements Enginee... |
124
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
151
click to vote
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
127
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
133
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
139
click to vote
TAICPART
2006
IEEE
15 years 11 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...