977 search results - page 59 / 196 » Formal methods integration in software engineering |
121
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
181
click to vote
ISARCS
2010
15 years 6 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
155
click to vote
ICFCA
2007
Springer
15 years 7 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...
143
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
116
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...