2935 search results - page 17 / 587 » An Integrated Approach to High Integrity Software Verificati... |
109
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: The recent success of various Apple products affirms that usability engineering can be a beneficial asset in software product development. But considerable problems exi...
153
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
119
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
139
Voted
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure
16 years 4 months ago
Ubiquitous context-aware computing systems present several challenges in their construction. Principal among them is the tradeoff between easily providing new contextaware service...
133
click to vote
TCAD
2002
15 years 3 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...