Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Software performance validation strategies
System performance evaluation
Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
Proceedings of the 2nd international workshop on Software and performance
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study
IEEE Transactions on Software Engineering
On the formalization of architectural types with process algebras
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
“Closed interval process algebra” versus “Interval process algebra”
Acta Informatica
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Workshop on software engineering and mobility
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Automatic derivation of software performance models from CASE documents
Performance Evaluation
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
IEEE Transactions on Software Engineering
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Software update via mobile agent based programming
Proceedings of the 2002 ACM symposium on Applied computing
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Hypertext functionalities with XML
Markup Languages
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Software Architectures and Coordination Models
The Journal of Supercomputing
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
UML Modelling and Performance Analysis of Mobile Software Architectures
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Component Metadata for Software Engineering Tasks
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
A Web-Based Peer-to-Peer Architecture for Collaborative Nomadic Working
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
UML-SPACES: A UML Profile for Distributed Systems Coordinated Via Tuple Spaces
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Proceedings of the 16th IEEE international conference on Automated software engineering
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services
MASCOTS '01 Proceedings of the Ninth International Symposium in Modeling, Analysis and Simulation of Computer and Telecommunication Systems
UML based performance modeling of distributed systems
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Hi-index | 0.00 |
It is apparent that, in the near future, software production will be more and more involved with applications running on heterogeneous networks, often with mobile components. Witness the increasing availability of reliable broadband communication networks, which span local, metropolitan and worldwide areas, and the high popularity of newly conceived applications on Internet, such as the World Wide Web. The development of applications for heterogeneous distributed networks that support mobile components (in short, programming mobile agents) demands innovative design and programming techniques. In this report we summarize the activities and results achieved in the SALADIN project, an Italian National project funded by the Italian Ministry of University and Research. We consider our experience interesting for the Software Engineering community because it has been a successful experiment in putting together teams whose expertise was sensibly different and complementary. This has allowed us to exploit the cooperation of different complementary competencies that are needed to reach significant results in an area where methods and tools, which are specific of several area of computing come naturally together.