Sciweavers

4799 search results - page 135 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
FASE
2009
Springer
15 years 4 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
WER
2005
Springer
15 years 3 months ago
Using Task Descriptions for the Specification of Web Application Requirements
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
Pedro Valderas, Joan Fons, Vicente Pelechano
APSEC
2007
IEEE
15 years 2 months ago
A Method for Early Requirements Triage and Selection Utilizing Product Strategies
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
Mahvish Khurum, Khurum Aslam, Tony Gorschek
EMSOFT
2007
Springer
15 years 4 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
ICSE
2007
IEEE-ACM
15 years 10 months ago
Usability Implications of Requiring Parameters in Objects' Constructors
The usability of APIs is increasingly important to programmer productivity. Based on experience with usability studies of specific APIs, techniques were explored for studying the ...
Jeffrey Stylos, Steven Clarke