Sciweavers

2147 search results - page 140 / 430
» Teleological Software Adaptation
Sort
View
SAFECOMP
2005
Springer
15 years 9 months ago
Are High-Level Languages Suitable for Robust Telecoms Software?
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
Jan Henry Nyström, Philip W. Trinder, David J...
CL
2008
Springer
15 years 4 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
JLP
2006
155views more  JLP 2006»
15 years 4 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio
HICSS
2008
IEEE
129views Biometrics» more  HICSS 2008»
15 years 10 months ago
Collaborative Continuous Service Engineering: A Case Study in a Financial Service Environment
We present a methodology to engineer services in real-time information environments. We evaluate, combine and enrich traditional techniques and methodologies such as New Product D...
Ryan Riordan, Benjamin Blau, Dirk Neumann, Christo...
ICSE
2001
IEEE-ACM
15 years 8 months ago
Architecture-Oriented Programming Using FRED
Implementing application-specific code conforming to architectural rules and conventions can be tedious. FRED is a tool prototype for architecture-oriented programming that takes ...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...