7139 search results - page 283 / 1428 » Language Engineering in Practice |
210
click to vote
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
175
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](http://sciweaver.org/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
181
click to vote
KCAP
2005
ACM
16 years 24 days ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
192
click to vote
ADBIS
2005
Springer
16 years 23 days ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
169
click to vote
SIGADA
2005
Springer
16 years 21 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...