Sciweavers

21379 search results - page 457 / 4276
» The profession of IT - Evolutionary system development
Sort
View
WER
2001
Springer
15 years 11 months ago
Analysing the Tradeoffs Among Requirements, Architectures and COTS Components
The development of software systems from already built COTS components has been motivated by the prospect of reduced cost and development time. However, developing COTS-based syst...
Carina Alves, João Bosco Pinto Filho, Jaels...
APSEC
1997
IEEE
15 years 11 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
EICS
2009
ACM
15 years 11 months ago
An infrastructure for experience centered agile prototyping of ambient intelligence
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
José Luís Silva, José Creissa...
HOTOS
2007
IEEE
15 years 11 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
DSS
2006
129views more  DSS 2006»
15 years 7 months ago
IPManager: a microcomputer-based DSS for intellectual property management
We describe a decision support system (DSS) that was developed for the management of the costs associated with the payment of fees to protect the intellectual property (IP) of org...
Chuda B. Basnet, Les R. Foulds, Warren Parker