33 search results - page 4 / 7 » KeY: A Formal Method for Object-Oriented Systems |
103
click to vote
EWDW
1990
15 years 3 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
107
Voted
ENTCS
2008
14 years 11 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
134
click to vote
ESEM
2010
ACM
14 years 11 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
117
click to vote
DASFAA
2005
IEEE
15 years 5 months ago
2005
IEEE
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
118
Voted
FMCO
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...