Sciweavers

5457 search results - page 769 / 1092
» Software Component Independence
Sort
View
FOIKS
2006
Springer
15 years 10 months ago
Consistency Checking Algorithms for Restricted UML Class Diagrams
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
Ken Kaneiwa, Ken Satoh
FORMATS
2006
Springer
15 years 10 months ago
Concurrent Semantics Without the Notions of State or State Transitions
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
Edward A. Lee
SPLC
2010
15 years 8 months ago
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
HCI
2007
15 years 8 months ago
ParSketch: A Sketch-Based Interface for a 2D Parametric Geometry Editor
ParSketch is a software prototype to evaluate the usability and functionality of a sketching interface aimed at defining 2D parametric sections. Currently, ParSketch interprets str...
Ferran Naya, Manuel Contero, Nuria Aleixos, Pedro ...
HCI
2007
15 years 8 months ago
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
Stefan Sauer, Gregor Engels