2369 search results - page 158 / 474 » Software Supported Modelling in Pharmacokinetics |
163
click to vote
COMPSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
Personnel risk is an issue which has not been researched well but plays an important role to determine whether a software project succeeds or fails. Most existing work focuses on ...
145
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
153
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
187
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
156
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...