Sciweavers

10

ICSOFT
2007

93views Software Engineering» more ICSOFT 2007»

Development of a Self-Check System for Mental Health Using a Pulse Wave Mouse

13 years 6 months ago

Development of a Self-Check System for Mental Health Using a Pulse Wave Mouse

Download www.chaotech.org

Mayumi Oyama-Higa, Teijyu Miao, Kazuo Sato, Kazuyo...

claim paper

Read More »

8

ICSOFT
2007

93views Software Engineering» more ICSOFT 2007»

Specification and Proof of Liveness Properties in B Event Systems

13 years 6 months ago

Specification and Proof of Liveness Properties in B Event Systems

Download hal.archives-ouvertes.fr

Olfa Mosbahi, Jacques Jaray

claim paper

Read More »

12

ICSOFT
2007

92views Software Engineering» more ICSOFT 2007»

Towards a New Code-Based Software Development Concept Enabling Code Patterns

13 years 6 months ago

Towards a New Code-Based Software Development Concept Enabling Code Patterns

Download www.klaus-meffert.de

Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...

Klaus Meffert, Ilka Philippow

claim paper

Read More »

14

ICSOFT
2007

139views Software Engineering» more ICSOFT 2007»

Integrating Software Architecture Concepts Into the MDA Platform

13 years 6 months ago

Integrating Software Architecture Concepts Into the MDA Platform

Download www.scipub.org

: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...

Adel Alti, Tahar Khammaci, Adel Smeda, Djamel Benn...

claim paper

Read More »

9

ICSOFT
2007

118views Software Engineering» more ICSOFT 2007»

A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents

13 years 6 months ago

A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents

Download www.cse.unr.edu

Sergiu Dascalu, Eric Fritzinger, Kendra Cooper, Na...

claim paper

Read More »

7

ICSOFT
2007

73views Software Engineering» more ICSOFT 2007»

Macro Impact Analysis Using Macro Slicing

13 years 6 months ago

Macro Impact Analysis Using Macro Slicing

Download www.inf.u-szeged.hu

László Vidács, Árp&aac...

claim paper

Read More »

8

ICSOFT
2007

69views Software Engineering» more ICSOFT 2007»

A Formal Approach for the Development of Automated Systems

13 years 6 months ago

A Formal Approach for the Development of Automated Systems

Download hal.archives-ouvertes.fr

Olfa Mosbahi, Leila Jemni, Jacques Jaray

claim paper

Read More »

11

ICSOFT
2007

105views Software Engineering» more ICSOFT 2007»

Differencing and Merging of Software Diagrams - State of the Art and Challenges

13 years 6 months ago

Differencing and Merging of Software Diagrams - State of the Art and Challenges

Download btn1x2.inf.uni-bayreuth.de

Sabrina Förtsch, Bernhard Westfechtel

claim paper

Read More »

6

ICSOFT
2007

72views Software Engineering» more ICSOFT 2007»

Model-Driven Development of Graphical Tools - Fujaba Meets GMF

13 years 6 months ago

Model-Driven Development of Graphical Tools - Fujaba Meets GMF

Download btn1x2.inf.uni-bayreuth.de

Thomas Buchmann, Alexander Dotor, Bernhard Westfec...

claim paper

Read More »

8

ICSOFT
2007

73views Software Engineering» more ICSOFT 2007»

Closing the Business-Application Gap in SOA - Challenges and Solution Directions

13 years 6 months ago

Closing the Business-Application Gap in SOA - Challenges and Solution Directions

Download eprints.eemcs.utwente.nl

Boris Shishkov, Jan L. G. Dietz, Marten van Sinder...

claim paper

Read More »