2514 search results - page 155 / 503 » The use of industrial-strength formal methods |
181
click to vote
ECMDAFA
2010
Springer
15 years 9 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
192
click to vote
OWLED
2008
15 years 7 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
157
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Semantic web ontology languages, such as OWL, have been widely used for knowledge representation. Through empirical analysis of real-world ontologies we discover that, like many n...
247
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
Let L → H be a lattice homomorphism and let a “readable” drawing of H be given. It is natural to make use of it to try getting a clear(er) drawing of L. Hence, the following ...
156
click to vote
ISSAC
2009
Springer
16 years 29 days ago
2009
Springer
We study systems of higher-order linear differential equations having a regular singularity at the origin. Using the properties of matrix polynomials, we develop efficient method...