History
1
cc:D.2.1
292


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 121 141 | next | last

Result 41 to 60 of 292 total

Intent specifications. an approach to building human-centered specifications. (English)
IEEE Trans. Softw. Eng. 26, No. 01, 15-35 (2000).
Classification: D.2.1 H.1.2 Reviewer: H. I. Kilov (Millington, NJ)
WorldCat.org
41
PDF XML AMS-TeX TEXT BIBTeX DOI
Automatically checking an implementation against its formal specification. (English)
IEEE Trans. Softw. Eng. 26, No. 01, 55-69 (2000).
Classification: D.2.5 D.2.4 D.2.1 Reviewer: M. Pezzé (Milan, Italy)
WorldCat.org
42
PDF XML AMS-TeX TEXT BIBTeX DOI
Using a coordination language to specify and analyze systems containing mobile components. (English)
ACM Trans. Softw. Eng. Methodol. 9, No. 2, 167-198 (2000).
Classification: D.2.4 D.2.1 D.3.1 D.3.2
WorldCat.org
43
PDF XML AMS-TeX TEXT BIBTeX DOI
Improving selection performance on pen-based systems. a study of pen-based interaction for selection tasks. (English)
ACM Trans. Comput.-Hum. Interact. 7, No. 3, 384-416 (2000).
WorldCat.org
44
PDF XML AMS-TeX TEXT BIBTeX DOI
Programming languages and systems for prototyping concurrent applications. (English)
ACM Comput. Surv. 32, No. 1, 43-79 (2000).
Classification: D.1.3 D.1.3 D.2.1 D.2.2 D.2.2
WorldCat.org
45
PDF XML AMS-TeX TEXT BIBTeX DOI
Enforceable security policies. (English)
ACM Trans. Inf. Syst. Secur. 3, No. 1, 30-50 (2000).
Classification: K.6.5 D.2.1 D.2.9 D.4.6 F.1.1
WorldCat.org
46
PDF XML AMS-TeX TEXT BIBTeX DOI
Proof linking. modular verification of mobile programs in the presence of lazy, dynamic linking. (English)
ACM Trans. Softw. Eng. Methodol. 9, No. 4, 379-409 (2000).
Classification: D.2.4 D.2.4 D.2.1 D.3.4
WorldCat.org
47
PDF XML AMS-TeX TEXT BIBTeX DOI
A maintenance-oriented approach to software construction. (English)
J. Softw. Maint. 12, No. 1, 25-45 (2000).
Classification: D.2.7 D.2.1 K.6.3
WorldCat.org
48
PDF XML AMS-TeX TEXT BIBTeX DOI
Refining model checking by abstract interpretation. (English)
Autom. Softw. Eng. 6, No. 1, 69-95 (1999).
Classification: D.2.4 D.2.1
WorldCat.org
49
PDF XML AMS-TeX TEXT BIBTeX DOI
Model checking complete requirements specifications using abstraction. (English)
Autom. Softw. Eng. 6, No. 1, 37-68 (1999).
Classification: D.2.4 D.2.1 F.3.1
WorldCat.org
50
PDF XML AMS-TeX TEXT BIBTeX DOI
Overlaps in requirements engineering. (English)
Autom. Softw. Eng. 6, No. 2, 171-198 (1999).
Classification: D.2.1 F.3.1
WorldCat.org
51
PDF XML AMS-TeX TEXT BIBTeX DOI
Efficient specification-based component retrieval. (English)
Autom. Softw. Eng. 6, No. 2, 139-170 (1999).
Classification: D.2.1 H.3.3 I.2.2
WorldCat.org
52
PDF XML AMS-TeX TEXT BIBTeX DOI
Seven-layer model of the role of the facilitator in requirements engineering. (English)
Requir. Eng. 4, No. 1, 38-59 (1999).
Classification: D.2.1 H.5.3 K.4.3
WorldCat.org
53
PDF XML AMS-TeX TEXT BIBTeX DOI
Behavioural views for software requirements engineering. (English)
Requir. Eng. 4, No. 1, 19-37 (1999).
Classification: D.2.1 D.3.2 D.3.1 F.3.2 D.2.6
WorldCat.org
54
PDF XML AMS-TeX TEXT BIBTeX DOI
A methodology for constructing user-oriented requirements specifications for large-scale systems using electronic hypermedia. (English)
Requir. Eng. 4, No. 1, 1-18 (1999).
Classification: H.5.1 D.2.1 I.7.2
WorldCat.org
55
PDF XML AMS-TeX TEXT BIBTeX DOI
Rapid prototyping with constraints-based scheduling for multimedia applications. (English)
Multimedia Tools Appl. 8, No. 2, 175-195 (1999).
Classification: D.2.1 D.4.1 H.5.1
WorldCat.org
56
PDF XML AMS-TeX TEXT BIBTeX DOI
Software engineering and epistemology. (Softwaretechnik und Erkenntnistheorie.) (English)
Inform. Spektrum 22, No. 2, 122-135 (1999).
Classification: D.2.0 D.0 D.2.1 I.2.0
WorldCat.org
57
PDF XML AMS-TeX TEXT BIBTeX DOI
Development of an atomic-broadcast protocol using. (English)
Softw., Pract. Exper. 29, No. 8, 699-719 (1999).
Classification: C.2.2 C.2.4 D.2.1 D.3.1
WorldCat.org
58
PDF XML AMS-TeX TEXT BIBTeX DOI
Comparing object-oriented process models. (Objektorientierte Vorgehensweise im Vergleich.) (English)
Inform. Spektrum 22, No. 3, 166-180 (1999).
Classification: D.2.2 D.1.5 D.2.1
WorldCat.org
59
PDF XML AMS-TeX TEXT BIBTeX DOI
From formal models to formally based methods. an industrial experience. (English)
ACM Trans. Softw. Eng. Methodol. 8, No. 1, 79-113 (1999).
Classification: D.2.1 D.2.2 D.2.4
WorldCat.org
60
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 21 41 61 81 101 121 141 | next | last

Result 41 to 60 of 292 total

Valid XHTML 1.0 Transitional Valid CSS!