695 search results - page 70 / 139 » Dynamic Software Architectures Verification using DynAlloy |
ICSE
2010
IEEE-ACM
14 years 14 days ago
2010
IEEE-ACM
Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering its design and thereby aiding i...
AR
2008
13 years 7 months ago
2008
In this paper we describe the use of design patterns as a basis for creating a Humanoid Walking Pattern Generator Software having a modular architecture. This architecture made po...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
SOFTVIS
2003
ACM
14 years 28 days ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...