Sciweavers

1136 search results - page 185 / 228
» Case Study of Object-Oriented Software Development
Sort
View
103
Voted
COMCOM
2000
82views more  COMCOM 2000»
15 years 2 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
129
Voted
CSCW
2000
ACM
15 years 2 months ago
Workflow Systems: Occasions for Success and Failure
Abstract. Workflow technologies have created considerable discussion within the computer supported cooperative work community. Although a number of theoretical and empirical warnin...
Rebecca E. Grinter
158
Voted
CASCON
2010
166views Education» more  CASCON 2010»
15 years 16 days ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen
GROUP
2010
ACM
15 years 15 days ago
Design methods as discourse on practice
In this paper, we present a view of design methods as discourse on practice. We consider how the deployment of a particular set of design methods enables and constrains not only p...
Marisa Leavitt Cohn, Susan Elliott Sim, Paul Douri...
138
Voted
JSS
2010
132views more  JSS 2010»
14 years 9 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu