360 search results - page 33 / 72 » Detecting Intrusions Specified in a Software Specification L... |
POPL
2002
ACM
14 years 8 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
VAMOS
2007
Springer
14 years 2 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
CADE
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Detecting code clones has many software engineering applications. Existing approaches either do not scale to large code bases or are not robust against minor code modifications. I...
SCOPES
2005
Springer
14 years 1 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...