1153 search results - page 175 / 231 » Compositional Specification Calculus for Information Systems... |
153
click to vote
ICRE
1996
IEEE
15 years 7 months ago
1996
IEEE
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
106
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
114
Voted
ICSM
1997
IEEE
15 years 7 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
112
Voted
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
144
Voted
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...