448 search results - page 70 / 90 » A Meta-Method for Formal Method Integration |
APCCM
2009
15 years 25 days ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
ICFEM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
115
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
118
click to vote
ICPW
2007
15 years 1 months ago
2007
The key objective of communal knowledge sharing at the scale of the World Wide Web is the ability to collaborate and integrate within and between communities. Ontologies, being fo...
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...