606 search results - page 33 / 122 » A Practical Approach of Teaching Software Engineering |
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
Many software attacks are based on injecting malicious code into a target host. This paper demonstrates the use of a wellknown technique, data tainting, to track data received fro...
ICFEM
2007
Springer
14 years 2 months ago
2007
Springer
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...
ICSE
2009
IEEE-ACM
14 years 17 days ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...