Sciweavers

6953 search results - page 74 / 1391
» Development Tools for Distributed Applications
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
14 years 3 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
ANSOFT
2002
171views more  ANSOFT 2002»
13 years 10 months ago
OPM/Web - Object-Process Methodology for Developing Web Applications
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
Iris Reinhartz-Berger, Dov Dori, Shmuel Katz
INFSOF
2008
90views more  INFSOF 2008»
13 years 10 months ago
JADE: A software framework for developing multi-agent applications. Lessons learned
Since a number of years agent technology is considered one of the most innovative technologies for the development of distributed software systems. While not yet a mainstream appr...
Fabio Bellifemine, Giovanni Caire, Agostino Poggi,...
WISES
2003
13 years 11 months ago
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Stefan Pitzek, Peter P. Puschner
PARELEC
2006
IEEE
14 years 4 months ago
Application-Driven Development of Concurrent Packet Processing Platforms
We have developed an application-driven methodology for implementing parallel and heterogeneous programmable platforms. We deploy our flow for network access platforms where we h...
Christian Sauer, Matthias Gries, Jörg-Christi...