Sciweavers

1360 search results - page 9 / 272
» The SMART Approach for Software Process Engineering
Sort
View
FASE
2004
Springer
15 years 7 months ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...
CLEIEJ
2004
102views more  CLEIEJ 2004»
15 years 1 months ago
Knowledge-based Support to Process Integration in ODE
Process integration in Software Engineering Environments (SEE) is very important to allow tool integration. In this paper, we present a knowledge-based approach to improve process...
Fabiano Borges Ruy, Gleidson Bertollo, Ricardo de ...
SCAM
2006
IEEE
15 years 8 months ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
ISPW
2007
IEEE
15 years 8 months ago
Process Mining Framework for Software Processes
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
Vladimir Rubin, Christian W. Günther, Wil M. ...
FASE
2008
Springer
15 years 3 months ago
What's in a Feature: A Requirements Engineering Perspective
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
Andreas Classen, Patrick Heymans, Pierre-Yves Scho...