1146 search results - page 92 / 230 » Formal Specification Generation from Requirement Documents |
130
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
106
click to vote
JSA
2006
15 years 4 months ago
2006
ct 7 Social animals or insects in nature often exhibit a form of emergent collective behavior known as flocking. In this paper, 8 we present a novel Flocking based approach for doc...
132
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
140
Voted
ISSE
2010
15 years 2 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
176
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
The recognition of script in historical documents requires suitable techniques in order to identify single words. Segmentation of lines and words is a challenging task because lin...