7206 search results - page 1017 / 1442 » Using a Hypermedia System for Systems Engineering |
147
click to vote
KBSE
2008
IEEE
16 years 20 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
160
click to vote
WCRE
2008
IEEE
16 years 19 days ago
2008
IEEE
Software visualizations can provide a concise overview of a complex software system. Unfortunately, since software has no physical shape, there is no “natural” mapping of soft...
150
click to vote
IWPC
2007
IEEE
16 years 17 days ago
2007
IEEE
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...
148
click to vote
SCAM
2007
IEEE
16 years 16 days ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
176
click to vote
TASE
2007
IEEE
16 years 16 days 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...