Sciweavers

586 search results - page 27 / 118
» Model-Driven User Requirements Specification using SysML
Sort
View
ICCS
2007
Springer
15 years 3 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
VL
2002
IEEE
109views Visual Languages» more  VL 2002»
15 years 4 months ago
Assertions in End-User Software Engineering: A Think-Aloud Study
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
Christine Wallace, Curtis R. Cook, Jay Summet, Mar...
GROUP
2007
ACM
15 years 3 months ago
Users as contextual features of software product development and testing
This paper examines how software developers discuss users and how such discussions are intrinsic to the negotiation and settling of technical decisions in the development and test...
David Martin, John Rooksby, Mark Rouncefield
ACISICIS
2010
IEEE
15 years 1 months ago
New Interface Using Palm and Fingertip without Marker for Ubiquitous Environment
We developed new interactive display system called the palm display. Our prototype system shows the image of graphical user interface on the palm and allows the user to have intera...
Seokhwan Kim, Shin Takahashi, Jiro Tanaka
AGTIVE
2007
Springer
15 years 3 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe