Sciweavers

1527 search results - page 90 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
IASTEDSE
2004
15 years 7 months ago
Using application domain ontology to construct an initial system model
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
Leonid Kof
SAC
2010
ACM
16 years 19 days ago
General constant expressions for system programming languages
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
Gabriel Dos Reis, Bjarne Stroustrup
SIGSOFT
2007
ACM
16 years 6 months ago
SLEDE: lightweight verification of sensor network security protocol implementations
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
Youssef Hanna
METRICS
2003
IEEE
15 years 11 months ago
An Analogy-Based Approach for Predicting Design Stability of Java Classes
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
David Grosser, Houari A. Sahraoui, Petko Valtchev
COMPSAC
2010
IEEE
15 years 4 months ago
Design and Implementation of a Middleware for Development and Provision of Stream-Based Services
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
Seungwoo Kang, Youngki Lee, Sunghwan Ihm, Souneil ...