7206 search results - page 96 / 1442 » Using a Hypermedia System for Systems Engineering |
157
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...
144
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
168
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
177
click to vote
ICST
2008
IEEE
16 years 21 days ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
150
click to vote
IWPC
1999
IEEE
15 years 10 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...