3514 search results - page 488 / 703 » Evolving Specification Engineering |
172
click to vote
ICDCS
2007
IEEE
16 years 26 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
204
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...
167
click to vote
QOSA
2007
Springer
16 years 20 days ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
157
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 16 days ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
161
click to vote
ECMDAFA
2005
Springer
16 years 2 days ago
2005
Springer
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...