2682 search results - page 271 / 537 » An Iterative-Cyclic Software Process Model |
119
Voted
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
136
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
117
Voted
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
132
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Despite ubiquitous claims that optical character recognition (OCR) is a "solved problem," many categories of documents continue to break modern OCR software such as docu...
123
Voted
CASCON
1997
15 years 5 months ago
1997
The paper presents a similarity-based retrieval framework for a software repository that aids the process of maintaining, understanding, and migrating legacy software systems [12]...