Software Engineering and Environment
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781461377108, 9781461559078

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Programming Tools

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_6 ◽

1997 ◽

pp. 129-180

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Programming Tools

Download Full-text

Object-Oriented Concepts and Modeling

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_2 ◽

1997 ◽

pp. 9-27

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Object Oriented

Download Full-text

Software Maintenance

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_10 ◽

1997 ◽

pp. 261-280

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Software Maintenance

Download Full-text

Design Methodologies and Specifications

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_4 ◽

1997 ◽

pp. 65-91

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Design Methodologies

Download Full-text

Program Verification and Testing

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_9 ◽

1997 ◽

pp. 231-260

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Program Verification

Download Full-text

Automatic Program Synthesis and Reuse

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_8 ◽

1997 ◽

pp. 207-229

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Program Synthesis ◽

Automatic Program

Download Full-text

Formal Specification and Verification

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_3 ◽

1997 ◽

pp. 29-63

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Advanced Programming Environments

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_11 ◽

1997 ◽

pp. 281-291

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Programming Environments

Download Full-text

Declarative Programming

Software Engineering and Environment ◽

10.1007/978-1-4615-5907-8_7 ◽

1997 ◽

pp. 181-206

Author(s):

Phillip C.-Y. Sheu

Keyword(s):

Declarative Programming

Download Full-text

Software Engineering and Environment
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Programming Tools

Object-Oriented Concepts and Modeling

Software Maintenance

Design Methodologies and Specifications

Program Verification and Testing

Automatic Program Synthesis and Reuse

Formal Specification and Verification

Other Selected Topics

Advanced Programming Environments

Declarative Programming

Export Citation Format

Software Engineering and EnvironmentLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Programming Tools

Object-Oriented Concepts and Modeling

Software Maintenance

Design Methodologies and Specifications

Program Verification and Testing

Automatic Program Synthesis and Reuse

Formal Specification and Verification

Other Selected Topics

Advanced Programming Environments

Declarative Programming

Software Engineering and Environment
Latest Publications