2419 search results - page 322 / 484 » A Formal Approach to Software Testing |
114
click to vote
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
164
Voted
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
134
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
152
Voted
PLDI
2012
ACM
13 years 6 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...
129
click to vote
EDOC
2008
IEEE
15 years 10 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...