2419 search results - page 247 / 484 » A Formal Approach to Software Testing |
129
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
158
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...
151
click to vote
EDOC
2008
IEEE
15 years 5 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
135
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
134
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...