85 search results - page 14 / 17 » Towards an Automation of Software Evolution Good Practices |
UML
2004
Springer
14 years 24 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
DISCEX
2003
IEEE
14 years 22 days ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
KDD
2002
ACM
14 years 7 months ago
2002
ACM
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
TASLP
2011
13 years 2 months ago
2011
—With the increase in cheap commercially available sensors, recording meetings is becoming an increasingly practical option. With this trend comes the need to summarize the recor...