3514 search results - page 550 / 703 » Evolving Specification Engineering |
AGILEDC
2004
IEEE
14 years 2 months ago
2004
IEEE
Agile development practices respect tacit knowledge, make communication more effective, and thus foster the knowledge creation process. However the current agile methods, like XP,...
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
ASWEC
2004
IEEE
14 years 2 months ago
2004
IEEE
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...