15951 search results - page 12 / 3191 » Lawful software engineering |
ENTCS
2010
13 years 6 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
CSEE
2003
Springer
14 years 2 months ago
2003
Springer
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
VRST
2003
ACM
14 years 2 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Database-centric applications (DCAs) are common in enterprise computing, and they use nontrivial databases. Testing of DCAs is increasingly outsourced to test centers in order t...
IUI
2010
ACM
14 years 6 months ago
2010
ACM
Target expansion is a pointing facilitation technique where the users target, typically an interface widget, is dynamically enlarged to speed pointing in interfaces. However, with...