Sciweavers

13457 search results - page 219 / 2692
» Design and Development of the Long-Jumping
Sort
View
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 11 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
HT
1998
ACM
15 years 11 months ago
Evaluation of Hypermedia Application Development and Management Systems
In this paper we propose and study a framework for evaluating Hypermedia Application Development and Management Systems (HADMS) in relation to specific application requirements. W...
Sotiris P. Christodoulou, Georgios D. Styliaras, T...
168
Voted
HASE
1997
IEEE
15 years 10 months ago
ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.
ISCAS
1995
IEEE
97views Hardware» more  ISCAS 1995»
15 years 10 months ago
A New Paradigm for Developing Digital Systems Based on a Multi-Cellular Organization
Embryological electronics or “Embryonics” is a new paradigm for developing digital systems of any complexity, endowed of universal computation, self-repair and self-reproducti...
Daniel Mange, Serge Durand, Eduardo Sanchez, Andr&...
HIS
2007
15 years 8 months ago
Genetic Programming meets Model-Driven Development
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
Thomas Weise, Michael Zapf, Mohammad Ullah Khan, K...