Sciweavers

2771 search results - page 153 / 555
» Advances in Document Engineering
Sort
View
109
Voted
NLDB
2007
Springer
15 years 7 months ago
Treatment of Passive Voice and Conjunctions in Use Case Documents
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
Leonid Kof
DOCENG
2007
ACM
15 years 4 months ago
Genre driven multimedia document production by means of incremental transformation
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
Marc Nanard, Jocelyne Nanard, Peter R. King, Ludov...
114
Voted
TIC
2000
Springer
124views System Software» more  TIC 2000»
15 years 4 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary
95
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
Exploiting the synergy between automated-test-generation and programming-by-contract
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
Michael Barnett, Manuel Fähndrich, Peli de Ha...
85
Voted
MTSR
2007
Springer
15 years 7 months ago
A Hybrid Ontology and Visual-based Retrieval Model for Cultural Heritage Multimedia Collections
Nowadays, an increasingly growing demand for advanced multimedia search engines is arising, as huge amounts of digital visual content are becoming
Stefanos Vrochidis, Haralambos Doulaverakis, Anast...