7080 search results - page 210 / 1416 » Designing High Integrity Systems Using Aspects |
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
100
click to vote
SOFTVIS
2005
ACM
15 years 5 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
83
Voted
WWW
2006
ACM
16 years 13 days ago
2006
ACM
XML is the predominant format for representing structured information inside documents, but it stops at the level of files. This makes it hard to use XML-oriented tools to process...
102
click to vote
GEOINFO
2003
15 years 1 months ago
2003
This paper introduces the Telecommunication Outside Plant Markup Language (TOPML), an OpenGis GML (Geographic Markup Language) application schema designed to describe telecommunica...