1116 search results - page 100 / 224 » An Eclipse-based tool framework for software model managemen... |
149
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
150
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
204
click to vote
CODES
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
180
click to vote
LREC
2008
15 years 7 months ago
2008
In the context of the CATCH research program that is currently carried out at a number of large Dutch cultural heritage institutions our ambition is to combine and exchange hetero...
161
click to vote
ECOOPW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...