Sciweavers

1185 search results - page 117 / 237
» Enhancement of Development Technologies for Agent-Based Soft...
Sort
View
ESWS
2008
Springer
15 years 5 months ago
A Functional Semantic Web Architecture
A layered architecture for the Semantic Web that adheres to software engineering principles and the fundamental aspects of layered architectures will assist in the development of S...
Aurona Gerber, Alta van der Merwe, Andries Barnard
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 5 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
132
Voted
WCRE
2008
IEEE
15 years 10 months ago
Representing and Integrating Dynamic Collaborations in IDEs
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...
David Röthlisberger, Orla Greevy
155
Voted
EICS
2010
ACM
15 years 4 months ago
Seamless integration of heterogeneous UI components
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
Heiko Paulheim, Atila Erdogan
AMAST
2000
Springer
15 years 8 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra