289 search results - page 23 / 58 » Automating Checking of Models Built Using a Graphically Base... |
138
Voted
EKAW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
117
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
128
Voted
AISC
2008
Springer
15 years 4 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
111
Voted
POPL
1999
ACM
15 years 6 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
116
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...