585 search results - page 24 / 117 » Structured Formal Development in Isabelle |
ASIAN
2005
Springer
15 years 1 months ago
2005
Springer
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...
121
click to vote
HCI
2009
14 years 9 months ago
2009
As the demand for domain- and formalism-specific visual modelling environments grows, the need to rapidly construct complex User Interfaces (UIs) increases. In this paper, we propo...
122
click to vote
SIES
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
115
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
123
click to vote
CONCUR
1991
Springer
15 years 3 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...