Automatically validating temporal safety properties of interfaces
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
The SLAM project: debugging system software via static analysis
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Demonstration of an Automated Integrated Test Environment for Web-Based Applications
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
METAFrame in Practice: Design of Intelligent Network Services
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
Lightweight coarse-grained coordination: a scalable system-level approach
International Journal on Software Tools for Technology Transfer (STTT)
SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Model Driven Design of Reliable Robot Control Programs Using the jABC
EASE '07 Proceedings of the Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Comparative Analysis of Tools for Automated Software Re-engineering Purposes
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Hi-index | 0.00 |
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: the application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge.