913 search results - page 1 / 183 » Toward Formalizing Structured Analysis |
57
Voted
TOSEM
1998
14 years 9 months ago
1998
108
Voted
MKM
2004
Springer
15 years 2 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
CLA
2006
14 years 11 months ago
2006
We present an application of formal concept analysis aimed at creating and representing a meaningful structure of knowledge communities under the form of a lattice-based taxonomy ...
EICS
2010
ACM
15 years 1 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
TYPES
2004
Springer
15 years 2 months ago
2004
Springer