4126 search results - page 87 / 826 » Relationships with other Formalisms |
140
click to vote
CAISE
1997
Springer
15 years 10 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
162
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as suf...
171
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
148
click to vote
IJIT
2004
15 years 7 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
160
click to vote
FORTE
1994
15 years 7 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...