io-port.net

io-port 02040437 Milanova, Ana; Rountev, Atanas; Ryder, Barbara G.

Precise call graphs for C programs with function pointers. (English)

Autom. Softw. Eng. 11, No. 1, 7-26 (2004).

Classification: D.3.1

121

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02003810 Glinz, Martin

Desert island column. (English)

Autom. Softw. Eng. 10, No. 4, 399-402 (2003).

Classification: D.2.4 F.4.2

122

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02003809 Ellman, Thomas; Deak, Ryan; Fotinatos, Jason

Automated synthesis of numerical programs for simulation of rigid mechanical systems in physics-based animation. (English)

Autom. Softw. Eng. 10, No. 4, 367-398 (2003).

Classification: D.2.4 F.4.2 J.2

123

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02003808 Xu, Haiping; Shatz, Sol M.

ADK: An agent development kit based on a formal design model for multi-agent systems. (English)

Autom. Softw. Eng. 10, No. 4, 337-365 (2003).

Classification: D.2.4 F.4.2 I.2.11

124

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02003807 Dean, Thomas R.; Cordy, James R.; Malton, Andrew J.; Schneider, Kevin A.

Agile parsing in TXL. (English)

Autom. Softw. Eng. 10, No. 4, 311-336 (2003).

Classification: D.2.4 F.4.2

125

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01977772 Grundy, John

Desert island. (English)

Autom. Softw. Eng. 10, No. 3, 303-304 (2003).

Classification: D.2.0

126

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01977771 Stroulia, E.; El-Ramly, M.; Iglinski, P.; Sorenson, P.

User interface reverse engineering in support of interface migration to the Web. (English)

Autom. Softw. Eng. 10, No. 3, 271-301 (2003).

Classification: D.2.0

127

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01977770 Monroy, Raúl

Predicate synthesis for correcting faulty conjectures: The proof planning paradigm. (English)

Autom. Softw. Eng. 10, No. 3, 247-269 (2003).

Classification: D.2.0

128

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01904974 Fischer, Gerhard

Desert island: Software engineering — A human activity. (English)

Autom. Softw. Eng. 10, No. 2, 233-237 (2003).

Classification: D.2.3 D.2.2

129

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01904973 Visser, Willem; Havelund, Klaus; Brat, Guillaume; Park, SeungJoon; Lerda, Flavio

Model checking programs. (English)

Autom. Softw. Eng. 10, No. 2, 203-232 (2003).

Classification: D.2.4 D.3.2

130

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01904972 Malpohl, Guido; Hunt, James J.; Tichy, Walter F.

Renaming detection. (English)

Autom. Softw. Eng. 10, No. 2, 183-202 (2003).

Classification: D.2.3 D.2.2

131

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01904971 Harmain, H. M.; Gaizauskas, R.

CM-builder: A natural language-based CASE tool for object-oriented analysis. (English)

Autom. Softw. Eng. 10, No. 2, 157-181 (2003).

Classification: D.2.3 D.2.2

132

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01904970 Hall, Robert J.

A supermodel framework supporting validated upgrading of reactive systems. (English)

Autom. Softw. Eng. 10, No. 2, 121-155 (2003).

Classification: D.2.3 D.2.2

133

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01881903 Jost, Gabriele; Hood, Robert

Relative debugging of automatically parallelized programs. (English)

Autom. Softw. Eng. 10, No. 1, 75-101 (2003).

Classification: D.2.5 D.1.3 D.1.2

134

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01881902 Lencevicius, Raimondas; Hölzle, Urs; Singh, Ambuj K.

Dynamic query-based debugging of object-oriented programs. (English)

Autom. Softw. Eng. 10, No. 1, 39-74 (2003).

Classification: D.2.5 D.1.5 D.1.2

135

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01881901 Trancón y Widemann, Baltasar; Lepper, Markus; Wieland, Jacob

Automatic construction of XML-based tools seen as meta-programming. (English)

Autom. Softw. Eng. 10, No. 1, 23-38 (2003).

Classification: D.3.4 D.4.1 D.1.2

136

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01881900 Stevens, Perdita

Small-scale XMI programming: A revolution in UML tool use? (English)

Autom. Softw. Eng. 10, No. 1, 7-21 (2003).

Classification: D.3.2 D.2.12 D.1.2

137

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01870095 Izadi, Shahram; Coutinho, Pedro; Rodden, Tom; Smith, Gareth

The FUSE platform: Supporting ubiquitous collaboration within diverse mobile environments. (English)

Autom. Softw. Eng. 9, No. 2, 167-186 (2002).

138

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01870094 Mascolo, Cecilia; Zanolin, Luca; Emmerich, Wolfgang

XMILE: An XML based approach for incremental code mobility and update. (English)

Autom. Softw. Eng. 9, No. 2, 151-165 (2002).

139

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01870093 Ferrari, Gianluigi; Montangero, C.; Semini, L.; Semprini, S.

Mark, a reasoning kit for mobility. (English)

Autom. Softw. Eng. 9, No. 2, 137-150 (2002).

140

PDF XML AMS-TeX TEXT BIBTeX DOI