Sciweavers

773 search results - page 35 / 155
» Report on a Practical Application of ASMs in Software Design
Sort
View
FCCM
2007
IEEE
146views VLSI» more  FCCM 2007»
14 years 3 months ago
Mitrion-C Application Development on SGI Altix 350/RC100
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
Volodymyr V. Kindratenko, Robert J. Brunner, Adam ...
SEFM
2007
IEEE
14 years 3 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
ECOOP
2007
Springer
14 years 3 months ago
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
Phil Greenwood, Thiago T. Bartolomei, Eduardo Figu...
WISE
2007
Springer
14 years 3 months ago
Building the Presentation-Tier of Rich Web Applications with Hierarchical Components
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
Reda Kadri, Chouki Tibermacine, Vincent Le Gloahec
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
14 years 3 months ago
Web Mash-ups and Patchwork Prototyping: User-driven technological innovation with Web 2.0 and Open Source Software
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
Ingbert R. Floyd, M. Cameron Jones, Dinesh Rathi, ...