3799 search results - page 366 / 760 » An Engineering Approach to Formal Methods |
144
click to vote
KBSE
2003
IEEE
16 years 2 days ago
2003
IEEE
Understanding the internal workings of classes is a key prerequisite to maintaining an object-oriented software system. Unfortunately, classical editing and browsing tools offer m...
187
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...
161
click to vote
ADBIS
2010
Springer
15 years 8 months ago
2010
Springer
Nowadays, one of the most important problems of software engineering continues to be the maintenance of both databases and applications. It is clear that any method that can reduce...
174
click to vote
SPLC
2010
15 years 5 months ago
2010
Abstract. Software Product Line (SPL) engineering offers several advantages in the development of families of software products. There is still a need, however, for better underst...
202
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a method for generating indexable and browsable keyword metadata from ASR transcripts by leveraging the Web. Search engine queries are built from an ASR transc...