2369 search results - page 72 / 474 » Software Supported Modelling in Pharmacokinetics |
184
click to vote
TSE
2008
15 years 6 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
200
click to vote
EWSPT
2000
Springer
15 years 10 months ago
2000
Springer
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
155
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
144
click to vote
VAMOS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
160
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...