2748 search results - page 244 / 550 » Generating Object-Z Specifications from Use Cases |
112
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: AMP-activated protein kinase (AMPK) has emerged as a significant signaling intermediary that regulates metabolisms in response to energy demand and supply. An investig...
158
Voted
IEEEICCI
2002
IEEE
15 years 8 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
131
Voted
NIPS
2004
15 years 4 months ago
2004
We consider the problem of structured classification, where the task is to predict a label y from an input x, and y has meaningful internal structure. Our framework includes super...
125
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
112
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...