Sciweavers

1606 search results - page 62 / 322
» XML-based programming language modeling: An approach to soft...
Sort
View
OOPSLA
2009
Springer
16 years 12 days ago
Enhancing source-level programming tools with an awareness of transparent program transformations
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
Myoungkyu Song, Eli Tilevich
169
Voted
APSEC
2001
IEEE
15 years 9 months ago
Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
Christos Tjortjis, Paul J. Layzell
AC
2000
Springer
15 years 10 months ago
The Join Calculus: A Language for Distributed Mobile Programming
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
Cédric Fournet, Georges Gonthier
ICFEM
2007
Springer
16 years 6 hour 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
CIBSE
2009
ACM
15 years 10 months ago
Product Derivation in a Model-Driven Software Product Line using Decision Models
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
Hugo Arboleda, Andrés Romero, Rubby Casalla...