Sciweavers

5984 search results - page 941 / 1197
» The Informal Nature of Systems Engineering
Sort
View
ICFEM
2005
Springer
16 years 9 days ago
29 New Unclarities in the Semantics of UML 2.0 State Machines
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
Harald Fecher, Jens Schönborn, Marcel Kyas, W...
FATES
2004
Springer
16 years 5 days ago
Specifying and Generating Test Cases Using Observer Automata
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...
UIST
2003
ACM
16 years 21 hour ago
A fast, interactive 3D paper-flier metaphor for digital bulletin boards
We describe a novel interface for presenting interactive content on public digital bulletin boards. Inspired by paper fliers on physical bulletin boards, posted content is display...
Laurent Denoue, Les Nelson, Elizabeth F. Churchill
MSR
2010
ACM
15 years 12 months ago
A comparative exploration of FreeBSD bug lifetimes
—In this paper, we explore the viability of mining the basic data provided in bug repositories to predict bug lifetimes. We follow the method of Lucas D. Panjer as described in h...
Gargi Bougie, Christoph Treude, Daniel M. Germ&aac...
CLA
2007
15 years 8 months ago
Precalculating Component Interface Compatibility using FCA
In component-based software engineering, software systems are built by assembling prefabricated reusable components. The compatibility between the assembled components is crucial. ...
Gabriela Arévalo, Nicolas Desnos, Marianne ...