Sciweavers

4919 search results - page 110 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
STTT
2002
69views more  STTT 2002»
14 years 9 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
APSEC
2000
IEEE
15 years 2 months ago
Goal based agent-oriented software modeling
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
Kenha Park, Jintae Kim, Sooyong Park
CSMR
2010
IEEE
14 years 4 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
RE
2010
Springer
14 years 4 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof
SIGSOFT
2008
ACM
15 years 10 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde