3045 search results - page 90 / 609 » Formal Approaches to Software Architecture |
1693
click to vote
ICECCS
2008
IEEE
15 years 5 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
WOSS
2004
ACM
15 years 4 months ago
2004
ACM
This paper proposes the RAFTING approach (Resourcebased Approach to FeaTure InteractioN) to address the feature interaction problem in the context of dynamically adapted software....
IROS
2009
IEEE
15 years 5 months ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
105
click to vote
PLDI
2012
ACM
13 years 1 months 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...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...