967 search results - page 111 / 194 » Automated benchmarking and analysis tool |
153
click to vote
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
153
click to vote
DL
1994
Springer
15 years 8 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...
154
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
121
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The combination of mass spectrometry and solution phase amide hydrogen/deuterium exchange (H/D exchange) experiments is an effective method for characterizing protein ...
149
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...