Sciweavers

3468 search results - page 69 / 694
» An open logical framework
Sort
View
77
Voted
TASE
2007
IEEE
15 years 6 months ago
A Logical Framework for Monitoring and Evolving Software Components
Howard Barringer, David E. Rydeheard, Dov M. Gabba...
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 6 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
71
Voted
VSTTE
2005
Springer
15 years 6 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu
98
Voted
VSTTE
2005
Springer
15 years 6 months ago
Meta-Logical Frameworks and Formal Digital Libraries
Carsten Schürmann