Sciweavers

2039 search results - page 173 / 408
» Teaching Standards to Engineers
Sort
View
KBSE
1998
IEEE
15 years 11 months ago
An Automated Framework for Structural Test-Data Generation
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
Nigel Tracey, John A. Clark, Keith Mander, John A....
UIST
1998
ACM
15 years 10 months ago
Interaction and Modeling Techniques for Desktop Two-Handed Input
We describe input devices and two-handed interaction techniques to support map navigation tasks. We discuss several design variations and user testing of two-handed navigation tec...
Ken Hinckley, Mary Czerwinski, Mike Sinclair
AMAST
1997
Springer
15 years 10 months ago
Symbolic Bisimulation for Full LOTOS
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
Carron Shankland, Muffy Thomas
COMPSAC
2009
IEEE
15 years 10 months ago
On a Classification Approach for SOA Vulnerabilities
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...
Lutz Lowis, Rafael Accorsi
COMPSAC
2009
IEEE
15 years 10 months ago
Building an Enterprise Service Bus for Real-Time SOA: A Messaging Middleware Stack
Service-Oriented Architecture (SOA) has become the preferred methodology to build complex enterprise applications. Inside an enterprise, an Enterprise Service Bus (ESB) has emerged...
Luis Garcés-Erice