3837 search results - page 302 / 768 » Concurrent Engineering support in Software Engineering |
157
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
118
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
135
click to vote
UIST
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents a comprehensive model for dealing with semantic conflicts in applications, and the implementation of this model in a toolkit for collaborative systems. Conflic...
132
click to vote
UIST
1995
ACM
15 years 8 months ago
1995
ACM
This paper describes some design refinements on marking menus and shows how these refinements embody interesting and relevant design principles for HCI. These refinements are base...
225
click to vote
AVI
2008
15 years 6 months ago
2008
This work aimed to propose an adaptive web site in the field of cultural heritage that can dynamically suggest links, based on not intrusive profiling methodologies integrated wit...