Sciweavers

3255 search results - page 206 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
OOPSLA
2005
Springer
15 years 10 months ago
CanonSketch and TaskSketch: innovative modeling tools for usage-centered design
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
Larry L. Constantine, Pedro Campos
136
Voted
CODES
1998
IEEE
15 years 8 months ago
Software timing analysis using HW/SW cosimulation and instruction set simulator
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
Jie Liu, Marcello Lajolo, Alberto L. Sangiovanni-V...
145
Voted
ICFEM
2007
Springer
15 years 10 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
SEW
2007
IEEE
15 years 10 months ago
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
Tiziana Margaria, Bernhard Steffen
127
Voted
ICSM
2005
IEEE
15 years 10 months ago
A collection of C, C++ and Java code understanding and refactoring plugins
This paper presents the Xrefactory project. Xrefactory is a plugin to editors and Integrated Development Environments (IDE) providing a variety of source understanding and refacto...
Marian Vittek, Peter Borovanský, Pierre-Eti...