3335 search results - page 48 / 667 » A Unified Approach to Modeling and Programming |
138
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different mo...
136
click to vote
FMSD
2002
15 years 5 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
315
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
165
click to vote
JAIR
2008
15 years 6 months ago
2008
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custom...
147
click to vote
ICALP
1989
Springer
15 years 10 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...