Sciweavers

3759 search results - page 342 / 752
» Natural language processing of lyrics
Sort
View
TAL
2004
Springer
16 years 2 days ago
Suffixal and Prefixal Morpholexical Relationships of the Spanish
This work is about derivational suffixes, endings and prefixes of the Spanish language, which are useful for the establishment of about 70000 suffixal and 11000 prefixal extended m...
Octavio Santana Suárez, José N. P&ea...
UML
2001
Springer
15 years 11 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre
UML
2001
Springer
15 years 11 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
UML
2001
Springer
15 years 11 months ago
iState: A Statechart Translator
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
Emil Sekerinski, Rafik Zurob
UML
2001
Springer
15 years 11 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...