1432 search results - page 188 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
154
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
266
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
124
click to vote
BPM
2004
Springer
15 years 7 months ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
126
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
132
Voted
JUCS
2007
15 years 4 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...