Sciweavers

FASE
2003
Springer
14 years 1 months ago
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
David Scott, Alastair R. Beresford, Alan Mycroft
FASE
2003
Springer
14 years 1 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
FASE
2003
Springer
14 years 1 months ago
Xere: Towards a Natural Interoperability between XML and ER Diagrams
Abstract. XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is widely used to exchange data. Often, the relevant information contained ...
Giuseppe Della Penna, Antinisca Di Marco, Benedett...
FASE
2003
Springer
14 years 1 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini
FASE
2003
Springer
14 years 1 months ago
Model-Based Development of Web Applications Using Graphical Reaction Rules
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Reiko Heckel, Marc Lohmann
28
Voted
FASE
2003
Springer
14 years 1 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
CSEE
2003
Springer
14 years 1 months ago
A Coordinated Plan for Teaching Software Engineering in the Rey Juan Carlos University
Nowadays both industry and academic environments are showing a lot of interest in the Software Engineering discipline. Therefore, it is a challenge for universities to provide stu...
Jorge Enrique Pérez-Martínez, Almude...
CSEE
2003
Springer
14 years 1 months ago
An Experimental Card Game for Teaching Software Engineering
The typical software engineering course consists of lectures in which concepts and theories are conveyed, along with a small “toy” software engineering project which attempts ...
Alex Baker, Emily Oh Navarro, André van der...
CSEE
2003
Springer
14 years 1 months ago
Is Software Engineering Training Enough for Software Engineers
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
Ivica Crnkovic, Rikard Land, Andreas Sjögren