Sciweavers

2527 search results - page 200 / 506
» Software development with imperfect information
Sort
View
COMPSAC
2005
IEEE
16 years 5 days ago
Empirical Validation of Website Timeliness Measures
Information timeliness is crucial for media-based websites. Although a couple of timeliness design strategies have been developed, timeliness measurement is still in its infancy. ...
Yanlong Zhang, Hong Zhu, Sue Greenwood
IRI
2005
IEEE
16 years 4 days ago
Building reusable components with service-oriented architectures
– To build, manage and apply reusable components easily and efficiently are an ideal of software developers. Service-oriented architectures provide more hopes for reusable compon...
Haibin Zhu
IBERAMIA
2004
Springer
15 years 12 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
APSEC
1997
IEEE
15 years 10 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
ISSRE
2010
IEEE
15 years 5 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...