Sciweavers

1146 search results - page 57 / 230
» Formal Specification Generation from Requirement Documents
Sort
View
UML
1998
Springer
15 years 1 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
IWPC
2007
IEEE
15 years 4 months ago
Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
Denys Poshyvanyk, Andrian Marcus
MODELS
2010
Springer
14 years 8 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis
ISTA
2003
14 years 11 months ago
Tools for Generation of Natural Inflected Language Processors
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...
Nadiya Mishchenko, Anatoly E. Doroshenko
WWW
2004
ACM
15 years 10 months ago
Structuring and presenting annotated media repositories
We generate hypermedia presentations from annotated media repositories using simple document structure as an intermediate phase. This poster applies Web style technologies to this...
Lloyd Rutledge, Jacco van Ossenbruggen, Lynda Hard...