1604 search results - page 44 / 321 » Development Separation in Lambda-Calculus |
ECSA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
ARTMED
2005
13 years 7 months ago
2005
Codons refer to those parts in a DNA complex encoded towards forming a desired set of proteins. Also coexist in the DNA are noncodons (or "junk" codons) whose functions ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
SSDBM
2003
IEEE
14 years 29 days ago
2003
IEEE
With increased demand for storage of scientific data comes a corresponding demand for efficient retrieval mechanisms necessary for analytical and reporting purposes. As is often...
EDOC
2002
IEEE
14 years 19 days ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...