Sciweavers

101 search results - page 16 / 21
» Symbolic message sequence charts
Sort
View
KBSE
2000
IEEE
15 years 1 months ago
New Visual Interface for Engineering Use Case Models
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
Nikolai Mansurov, Dmitri Vasura
CODES
2008
IEEE
15 years 4 months ago
Scratchpad allocation for concurrent embedded software
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
CORR
2010
Springer
342views Education» more  CORR 2010»
14 years 7 months ago
Canonizable Partial Order Generators
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
Mateus de Oliveira Oliveira
ICSE
2005
IEEE-ACM
15 years 9 months ago
Monitoring and control in scenario-based requirements analysis
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
NIME
2004
Springer
87views Music» more  NIME 2004»
15 years 2 months ago
Thermoscore: A New-type Musical Score with Temperature Sensation
In this paper, we propose Thermoscore, a musical score form -that dynamically alters the temperature of the instrument/play er interface. We developed the first version of the The...
Homei Miyashita, Kazushi Nishimoto