Sciweavers

2369 search results - page 53 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
CONTEXT
2003
Springer
15 years 11 months ago
GRAVA: An Architecture Supporting Automatic Context Transitions and Its Application to Robust Computer Vision
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
Paul Robertson, Robert Laddaga
ECLIPSE
2006
ACM
16 years 5 days ago
JExercise: a specification-based and test-driven exercise support plugin for Eclipse
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
Hallvard Trætteberg, Trond Aalberg
SEFM
2007
IEEE
16 years 14 days ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
PRIMA
2007
Springer
16 years 9 days ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos
ISESE
2006
IEEE
16 years 6 days ago
Empirical estimates of software availability of deployed systems
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
Audris Mockus