Sciweavers

16 search results - page 1 / 4

» apsec 2008

10

APSEC
2008
IEEE

101views Software Engineering» more APSEC 2008»

An Empirical Study of Unused Design Decisions in Open Source Java Software

13 years 5 months ago

An Empirical Study of Unused Design Decisions in Open Source Java Software

Download www.imamu.edu.sa

Ewan D. Tempero

claim paper

Read More »

12

APSEC
2008
IEEE

76views Software Engineering» more APSEC 2008»

Iterative Model Fixing with Counterexamples

13 years 11 months ago

Iterative Model Fixing with Counterexamples

Download repository.dl.itc.u-tokyo.ac.jp

Tsutomu Kumazawa, Tetsuo Tamai

claim paper

Read More »

13

APSEC
2008
IEEE

103views Software Engineering» more APSEC 2008»

Aspect-Oriented Programming for Web Controller Layer

13 years 5 months ago

Aspect-Oriented Programming for Web Controller Layer

Download www-al.is.kyushu-u.ac.jp

Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, A...

claim paper

Read More »

12

APSEC
2008
IEEE

136views Software Engineering» more APSEC 2008»

Using Abstraction to Verify Arbitrary Temporal Properties

13 years 11 months ago

Using Abstraction to Verify Arbitrary Temporal Properties

Download www.cmi.ac.in

straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...

Amir Pnueli

claim paper

Read More »

11

APSEC
2008
IEEE

100views Software Engineering» more APSEC 2008»

Jackson's JSP-Like Method for State Transition Design

13 years 11 months ago

Jackson's JSP-Like Method for State Transition Design

Download www.se.sie.dendai.ac.jp

This paper presents an idea to apply Jackson’s JSP method, which is suitable for the transformation problem frame, into the state transition design, presented in the behavior pr...

Osamu Shigo

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »