715 search results - page 20 / 143 » Application of Formal Methods to the Development of a Softwa... |
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
FOSAD
2005
Springer
14 years 1 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain acti...
SEKE
2005
Springer
14 years 29 days ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Masev12 (MAs Software engineering EValuation framework) is an online application that allows analyzing and comparing methods, techniques and environments for developing MAS. Moreo...