4126 search results - page 54 / 826 » Relationships with other Formalisms |
108
click to vote
IPL
2008
14 years 12 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
110
click to vote
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
106
click to vote
CLA
2004
15 years 1 months ago
2004
In Formal Concept Analysis, it is a very important but quite difficult task to draw line diagrams of concept lattices automatically. In particular, we want every planar lattice to ...
117
click to vote
JUCS
2010
14 years 10 months ago
2010
: For many years, physical asset indicators were the main evidence of an organization’s successful performance. However, the situation has changed following the revolution of inf...
113
click to vote
FM
1991
Springer
15 years 3 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...