1481 search results - page 16 / 297 » Enriching the Software Development Process by Formal Methods |
125
Voted
TAL
2010
Springer
15 years 15 days ago
2010
Springer
The lack of large-scale, freely available and durable lexical resources, and the consequences for NLP, is widely acknowledged but the attempts to cope with usual bottlenecks preven...
114
Voted
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
120
click to vote
NLDB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
107
Voted
COMPSAC
2010
IEEE
15 years 20 days ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
142
Voted
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...