io-port.net

io-port 05216646 Koné, O.

An inoteroperability testing approach to wireless applications protocols. (English)

J. UCS 9, No. 10, 1220-1243, electronic only (2003).

Classification: C.2.2 D.2.1 D.2.5

21

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216579 Brucker, A.D.; Rittinger, F.; Wolff, B.

Hol-z 2.0: a proof environment for z-specifications. (English)

J. UCS 9, No. 2, 152-172, electronic only (2003).

Classification: D.2.1 D.2.4 F.3.1 F.4.1

22

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216575 Olderog, E.-R.; Dierks, H.

Moby/rt: a tool for specification and verification of real-time systems. (English)

J. UCS 9, No. 2, 88-105, electronic only (2003).

Classification: D.2.1 D.2.2 D.2.4 D.4.7 F.3.1 F.4.1

23

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02179760 Banach, R.; Poppleton, M.

Retrenching partial requirements into system definitions: a simple feature interaction case study. (English)

Requir. Eng. 8, No. 4, 266-288 (2003).

Classification: D.2.4 D.2.1

24

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02179759 Feather, Martin S.; Cornford, Steven L.

Quantitative risk-based requirements reasoning. (English)

Requir. Eng. 8, No. 4, 248-265 (2003).

Classification: D.2.4 D.2.1

25

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02179758 Halling, Michael; Biffl, Stefan; Grünbacher, Paul

An economic approach for improving requirements negotiation models with inspection. (English)

Requir. Eng. 8, No. 4, 236-247 (2003).

Classification: D.2.4 D.2.1

26

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02179757 Barber, K.Suzanne; Graser, Tom; Holt, Jim

Arcade: early dynamic property evaluation of requirements using partitioned software architecture models. (English)

Requir. Eng. 8, No. 4, 222-235 (2003).

Classification: D.2.4 D.2.1

27

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02179756 Fuhrman, Christopher P.

Lightweight models for interpreting informal specifications. (English)

Requir. Eng. 8, No. 4, 206-221 (2003).

Classification: D.2.4 D.2.1

28

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02179755 Richards, Debbie

Merging individual conceptual models of requirements. (English)

Requir. Eng. 8, No. 4, 195-205 (2003).

Classification: D.2.4 D.2.1

29

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02178280 Porres, Ivan

A toolkit for model manipulation. (English)

Softw. Syst. Model. 2, No. 4, 262-277 (2003).

Classification: D.2.1

30

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02178279 Toval, Ambrosio; Requena, Víctor; Fernández, José Luis

Emerging OCL tools. (English)

Softw. Syst. Model. 2, No. 4, 248-261 (2003).

Classification: D.2.1

31

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02178278 Hesse, Wolfgang

Dinosaur meets Archaeopteryx? or: Is there an alternative for rational’s unified process? (English)

Softw. Syst. Model. 2, No. 4, 240-247 (2003).

Classification: D.2.1

32

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02178277 Akehurst, David; Kent, Stuart; Patrascoiu, Octavian

A relational approach to defining and implementing transformations between metamodels. (English)

Softw. Syst. Model. 2, No. 4, 215-239 (2003).

Classification: D.2.1

33

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01975721 Hu, Mou

MITOL and its Application to Software Engineering. (English)

J. Mult.-Val. Log. Soft Comput. 9, No. 1, 43-58 (2003).

Classification: D.2.1 D.2.5

34

PDF XML AMS-TeX TEXT BIBTeX

io-port 05481632 Ehrenberger, Wolfgang D.

Neufassung der Norm DIN/IEC 61508 - Anforderungen an Software in sicherheitsrelevanten industriellen Rechensystemen. (German)

Schubert, Sigrid E. et al., Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 30. September - 3.Oktober 2002 in Dortmund. Bonner Köllen Verlag (ISBN 3-88579-348-2). GI-Edition - Lecture Notes in Informatics (LNI), P-19, 844-847 (2002).

Classification: K.6.5 D.2.1

35

PDF XML AMS-TeX TEXT BIBTeX FullText

io-port 01935007 Tip, F.; Dinesh, T. B.

A slicing-based approach for locating type errors. (English)

ACM Trans. Softw. Eng. Methodol. 10, No. 1, 5-55 (2001).

Classification: D.3.4 D.2.1 F.3.1

36

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01934997 Ramesh, Balasubramaniam; Jarke, Matthias

Toward reference models for requirements traceability. (English)

IEEE Trans. Softw. Eng. 27, No. 01, 58-93 (2001).

Classification: D.2.1 D.2.5 Reviewer: H. I. Kilov (Millington, NJ)

37

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01934984 Chan, William; Anderson, Richard J.; Beame, Paul; Notkin, David

Optimizing symbolic model checking for statecharts. (English)

IEEE Trans. Softw. Eng. 27, No. 02, 170-190 (2001).

Classification: D.2.4 D.2.1 Reviewer: H. J. Schneider (Erlangen, Germany)

38

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01934973 Chen, Huo Yan; Tse, T. H.; Chen, T. Y.

TACCLE. a methodology for object-oriented software testing at the class and cluster levels. (English)

ACM Trans. Softw. Eng. Methodol. 10, No. 1, 56-109 (2001).

Classification: D.2.1 D.2.5 D.3.2

39

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05386258 Schach, Stephen R.; Tomer, Amir

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

40

PDF XML AMS-TeX TEXT BIBTeX DOI