4350 search results - page 388 / 870 » Case studies for contract-based systems |
178
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
183
Voted
NC
2010
15 years 5 months ago
2010
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
179
click to vote
TARK
2005
Springer
16 years 10 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
166
click to vote
CAD
1998
Springer
15 years 6 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
167
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...