History
1
so:se00002046
234


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 81 101 121 141 161 181 201 221 | next | last

Result 181 to 200 of 234 total

A comparison of computer support systems for software inspection. (English)
Autom. Softw. Eng. 6, No. 3, 291-313 (1999).
Classification: D.2.2
WorldCat.org
181
PDF XML AMS-TeX TEXT BIBTeX DOI
Mapping procedural patterns to object-oriented design patterns. (English)
Autom. Softw. Eng. 6, No. 3, 265-289 (1999).
Classification: D.2.m
WorldCat.org
182
PDF XML AMS-TeX TEXT BIBTeX DOI
A system for generating reverse engineering tools: a case study of software modularisation. (English)
Autom. Softw. Eng. 6, No. 3, 233-263 (1999).
Classification: D.2.2
WorldCat.org
183
PDF XML AMS-TeX TEXT BIBTeX DOI
Formal specification of user requirements. (English)
Autom. Softw. Eng. 6, No. 3, 217-232 (1999).
Classification: K.6.4
WorldCat.org
184
PDF XML AMS-TeX TEXT BIBTeX DOI
Efficient implementations of software architectures via partial evaluation. (English)
Autom. Softw. Eng. 6, No. 4, 411-439 (1999).
Classification: D.2.0
WorldCat.org
185
PDF XML AMS-TeX TEXT BIBTeX DOI
A concept formation based approach to object identification in procedural code. (English)
Autom. Softw. Eng. 6, No. 4, 387-410 (1999).
Classification: D.2.m
WorldCat.org
186
PDF XML AMS-TeX TEXT BIBTeX DOI
A metric-based approach to detect abstract data types and state encapsulations. (English)
Autom. Softw. Eng. 6, No. 4, 357-386 (1999).
Classification: D.2.7
WorldCat.org
187
PDF XML AMS-TeX TEXT BIBTeX DOI
Automatic synthesis of recursive programs: The proof-planning paradigm. (English)
Autom. Softw. Eng. 6, No. 4, 329-356 (1999).
Classification: D.2.10
WorldCat.org
188
PDF XML AMS-TeX TEXT BIBTeX DOI
A rule-based approach to developing software development prediction models. (English)
Autom. Softw. Eng. 5, No. 2, 211-243 (1998).
Classification: D.2.1 I.2.8 K.6.3
WorldCat.org
189
PDF XML AMS-TeX TEXT BIBTeX DOI
Lightweight formalisation in support of requirements engineering. (English)
Autom. Softw. Eng. 5, No. 2, 183-210 (1998).
Classification: D.2.1 D.3.1 D.2.10 D.4.5 I.2.3 I.2.2
WorldCat.org
190
PDF XML AMS-TeX TEXT BIBTeX DOI
Program understanding as constraint satisfaction: Representation and reasoning techniques. (English)
Autom. Softw. Eng. 5, No. 2, 147-181 (1998).
Classification: I.2.2 I.2.8 F.2.2 D.2.m
WorldCat.org
191
PDF XML AMS-TeX TEXT BIBTeX DOI
Seeding, evolutionary growth and reseeding: Constructing, capturing and evolving knowledge in domain-oriented design environments. (English)
Autom. Softw. Eng. 5, No. 4, 447-464 (1998).
Classification: D.2.1 D.2.6
WorldCat.org
192
PDF XML AMS-TeX TEXT BIBTeX DOI
CREWS-SAVRE: Scenarios for acquiring and validating requirements. (English)
Autom. Softw. Eng. 5, No. 4, 419-446 (1998).
Classification: D.2.1 I.2.2
WorldCat.org
193
PDF XML AMS-TeX TEXT BIBTeX DOI
Developing knowledge-based systems with MIKE. (English)
Autom. Softw. Eng. 5, No. 4, 389-418 (1998).
Classification: I.2.5 I.2.6 I.2.8
WorldCat.org
194
PDF XML AMS-TeX TEXT BIBTeX DOI
META-AMPHION: Synthesis of efficient domain-specific program synthesis systems. (English)
Autom. Softw. Eng. 4, No. 2, 199-241 (1997).
Classification: I.2.2
WorldCat.org
195
PDF XML AMS-TeX TEXT BIBTeX DOI
High-level views of distributed executions: Convex abastract events. (English)
Autom. Softw. Eng. 4, No. 2, 179-197 (1997).
Classification: D.1.3 F.3.1 D.2.5 D.2.7
WorldCat.org
196
PDF XML AMS-TeX TEXT BIBTeX DOI
Algorithmic debugging and hypothetical reasoning. (English)
Autom. Softw. Eng. 4, No. 2, 151-178 (1997).
Classification: D.2.5 D.1.6 I.2.3 F.4.1
WorldCat.org
197
PDF XML AMS-TeX TEXT BIBTeX DOI
The evaluation dependence tree as a basis for lazy functional debugging. (English)
Autom. Softw. Eng. 4, No. 2, 121-150 (1997).
Classification: D.2.5 D.1.1 D.3.2
WorldCat.org
198
PDF XML AMS-TeX TEXT BIBTeX DOI
Automatic problem description form model program for knowledge-based programming tutor. (English)
Autom. Softw. Eng. 4, No. 4, 439-461 (1997).
Classification: K.3.2 K.3.1 I.2.2
WorldCat.org
199
PDF XML AMS-TeX TEXT BIBTeX DOI
Requirements and specification exemplars. (English)
Autom. Softw. Eng. 4, No. 4, 419-438 (1997).
Classification: D.2.1
WorldCat.org
200
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 81 101 121 141 161 181 201 221 | next | last

Result 181 to 200 of 234 total

Valid XHTML 1.0 Transitional Valid CSS!