1419 search results - page 91 / 284 » Notes on Formalizing Context |
91
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
98
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
104
click to vote
VL
2000
IEEE
15 years 5 months ago
2000
IEEE
Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we...
119
Voted
FMSP
2000
ACM
15 years 5 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
128
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...