414 search results - page 58 / 83 » Using Strongest Postconditions to Improve Software Quality |
IEE
2008
13 years 8 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
AOSD
2006
ACM
14 years 2 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
IHI
2010
13 years 3 months ago
2010
The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...
MSWIM
2003
ACM
14 years 1 months ago
2003
ACM
– Wireless mobile access to the Internet is an indispensable tool for private and corporate users alike; but both industry and academia recognize the need for better service. Imp...
DICTA
2003
13 years 10 months ago
2003
Abstract. Psychosis is a mental disorder that affects 1–2% of the population at some point in their lives. One of the main causes of psychosis is the mental illness schizophreni...