1213 search results - page 75 / 243 » Traceability for System Families |
193
click to vote
POPL
2006
ACM
16 years 6 days ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
114
click to vote
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
107
click to vote
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper discusses a potential security issue in common operating system and application environments regarding dynamically attached devices and device interfaces. A set of coun...
105
click to vote
EUROSYS
2006
ACM
15 years 3 months ago
2006
ACM
Product-line architectures (PLA)s are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts,...