Sciweavers

4469 search results - page 309 / 894
» A Language for Role Specifications
Sort
View
UML
2005
Springer
16 years 6 days ago
Tool Support for Model-Based Generation of Advanced User Interfaces
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
Andreas Wolff, Peter Forbrig, Daniel Reichart
ICCL
1992
IEEE
15 years 10 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
ASWC
2006
Springer
15 years 10 months ago
Dental Decision Making on Missing Tooth Represented in an Ontology and Rules
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
Seon Gyu Park, Hong-Gee Kim
UML
2000
Springer
15 years 10 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier
LREC
2010
155views Education» more  LREC 2010»
15 years 8 months ago
How Specialized are Specialized Corpora? Behavioral Evaluation of Corpus Representativeness for Maltese
In this paper we bring to light a novel intersection between corpus linguistics and behavioral data that can be employed as an evaluation metric for resources for low-density lang...
Jerid Francom, Amy LaCross, Adam Ussishkin