8083 search results - page 102 / 1617 » A Formalization of Software Architecture |
SCP
2010
13 years 8 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
PLDI
2012
ACM
12 years 16 days ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
WCRE
2000
IEEE
14 years 1 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
ECSA
2010
Springer
13 years 8 months ago
2010
Springer
With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coor...