7139 search results - page 207 / 1428 » Language Engineering in Practice |
147
click to vote
SIGADA
2005
Springer
16 years 15 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
185
click to vote
SIGSOFT
2008
ACM
2008
ACM
Experience in using a process language to define scientific workflow and generate dataset provenance
16 years 7 months ago
This paper describes our experiences in exploring the applicability of software engineering approaches to scientific data management problems. Specifically, this paper describes h...
175
click to vote
DOCENG
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...
218
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
190
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...