Sciweavers

4919 search results - page 587 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
138
Voted
EUROMICRO
1996
IEEE
15 years 9 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
EUROMICRO
2004
IEEE
15 years 8 months ago
GridSphere: An Advanced Portal Framework
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...
Jason Novotny, Michael Russell, Oliver Wehrens
147
Voted
BIS
2006
122views Business» more  BIS 2006»
15 years 6 months ago
Variability Mechanisms in E-Business Process Families
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
Arnd Schnieders, Frank Puhlmann
FLAIRS
2009
15 years 2 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
CORR
2006
Springer
193views Education» more  CORR 2006»
15 years 5 months ago
On the Design of Agent-Based Systems using UML and Extensions
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
Mihaela Dinsoreanu, Ioan Salomie, Kalman Pusztai