2672 search results - page 381 / 535 » Hybridizing Concept Languages |
SOSE
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
DASFAA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. In this paper, we present a FASST mining approach to extract the frequently changing semantic structures (FASSTs), which are a subset of semantic substructures that chang...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
IRiSS (Information Retrieval based Software Search) is a software exploration tool that uses an indexing engine based on an information retrieval method. IRiSS is implemented as a...
PRDC
2005
IEEE
14 years 2 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...