Sciweavers

617 search results - page 69 / 124
» A unified language processing methodology
Sort
View
OTM
2004
Springer
15 years 3 months ago
Model-Driven Design of Distributed Applications
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...
João Paulo A. Almeida
SIGSOFT
2003
ACM
15 years 2 months ago
Use case-based testing of product lines
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
Antonia Bertolino, Stefania Gnesi
ICCBR
1997
Springer
15 years 1 months ago
A Large Case-Based Reasoner for Legal Cases
In this paper we propose a large case-based reasoner for the legal domain. Analyzing legal texts for indexing purposes makes the implementation of large case bases a complex task. ...
Rosina Weber-Lee, Ricardo Miranda Barcia, Marcio C...
HOTOS
2007
IEEE
15 years 1 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
ECIS
2003
14 years 11 months ago
Towards a language/action theoretic approach to relationship analysis
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
Fahri Yetim, Michael P. Bieber