1676 search results - page 223 / 336 » Formal System Development with KIV |
185
click to vote
ICDS
2007
IEEE
16 years 20 days ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
187
click to vote
RSP
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
150
click to vote
SAC
2006
ACM
16 years 9 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
156
click to vote
ICECCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
156
click to vote
AIME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...