3792 search results - page 350 / 759 » Techniques for Trusted Software Engineering |
198
click to vote
FASE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
152
click to vote
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
187
click to vote
PASTE
2005
ACM
16 years 9 days ago
2005
ACM
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...
193
click to vote
PEPM
2004
ACM
16 years 2 days ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
170
click to vote
IWPC
2003
IEEE
16 years 4 hour ago
2003
IEEE
A lightweight fact extractor is presented that utilizes XML tools, such as XPath and XSLT, to extract static information from C++ source code programs. The source code is first co...