327 search results - page 50 / 66 » Early Safety Analysis: from Use Cases to Component-based Sof... |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
JOT
2006
14 years 9 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
74
Voted
HICSS
2007
IEEE
15 years 3 months ago
2007
IEEE
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...