Learn More
Design patterns facilitate reuse of good design practices. They are typically given by using conventional notations that lack well-defined semantics and, therefore reasoning about their behaviors requires formaliza-tion. Even when formalized, conventional communication abstractions may lead to too laborious formaliza-tions when addressing the temporal(More)
With the increasing popularity of the World Wide Web, scripting languages and other dynamic languages are currently experiencing a renaissance. A whole new generation of programmers are growing up with languages such as JavaScript, Perl, PHP, Python and Ruby. The attention that dynamic languages are receiving is remarkable, and is something that has not(More)
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Visual Studio. In contrast to professional installable IDEs, current web-based code editors are simple text editors with extra features. They usually understand lexical syntax and can(More)
The abiliTy To seamlessly and conveniently share content is becoming increasingly important as the number of types and uses of mobile devices continues to rise. Although the individual devices' complexity and features vary, they often produce content that can be accessed by other kinds of devices. Furthermore, they're increasingly Web-enabled and can(More)
In order to provide better alignment between conceptual requirements and aspect-oriented implementations, formal specification methods should enable the encapsulation of logical abstractions of systems. In this paper we argue that horizontal architectures, consisting of such logical abstractions , can provide better separation of concerns over conventional(More)