2514 search results - page 166 / 503 » The use of industrial-strength formal methods |
153
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
200
click to vote
AGTIVE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
141
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
154
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
157
click to vote
DLOG
2008
15 years 8 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...