913 search results - page 1 / 183 » Toward Formalizing Structured Analysis |
TOSEM
1998
13 years 5 months ago
1998
MKM
2004
Springer
13 years 10 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
13 years 6 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
13 years 9 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
13 years 10 months ago
2004
Springer