8627 search results - page 326 / 1726 » Software Engineering Using RATionale |
179
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
171
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
169
click to vote
APSEC
2008
IEEE
15 years 8 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...
179
click to vote
IWSM
2009
Springer
16 years 1 months ago
2009
Springer
The following article covers the different types of software cockpit applications for use in various areas, such as software development, software maintenance as well as quality ma...
188
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...