626 search results - page 75 / 126 » Closing the Gap Between Software Modelling and Code |
JGAA
2007
13 years 9 months ago
2007
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...
ICSE
2010
IEEE-ACM
13 years 7 months ago
2010
IEEE-ACM
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
EICS
2009
ACM
14 years 1 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...