1005 search results - page 132 / 201 » Formal Software Development in MAYA |
RIVF
2007
15 years 1 months ago
2007
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
118
click to vote
APPINF
2003
15 years 1 months ago
2003
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...
ESORICS
2010
Springer
15 years 29 days ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
TSE
1998
14 years 11 months ago
1998
—Cohesion was first introduced as a software attribute that, when measured, could be used to predict properties of implementations that would be created from a given design. Unfo...
114
click to vote
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...