Sciweavers

1987 search results - page 75 / 398
» Structural Model: Architecture for Software Designers
Sort
View
152
Voted
APSEC
2001
IEEE
15 years 7 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
132
Voted
WWW
2004
ACM
16 years 4 months ago
Design and Implementation of Semantic Web Applications
We present a software architecture to implement applications in the Semantic Web, based on designs specified in the Semantic Hypermedia Design Method (SHDM). This architecture sup...
Daniel Schwabe, Guilherme Szundy, Sabrina Silva de...
99
Voted
BCSHCI
2007
15 years 5 months ago
Information architecture with IBM Task Modeler
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
Colin Bird, Mark Farmer
137
Voted
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 9 months ago
Safe Automotive Software Development
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ern...
ICSE
1999
IEEE-ACM
15 years 8 months ago
An Architectural Style for Multiple Real-Time Data Feeds
We present an architectural style for the integration of multiple real-time data feeds on Windows-NT platforms. We motivate the development of this style by highlighting different...
Neil Roodyn, Wolfgang Emmerich