Sciweavers

650 search results - page 118 / 130
» Modeling SPARK systems with UML
Sort
View
COMPSAC
2010
IEEE
14 years 7 months ago
An Analysis of Tool-Based Research in Software Engineering
Many research approaches in software engineering propose models or extensions to existing models. This includes system models, such as UML models, and project management artifacts,...
Jonas Helming, Maximilian Koegel, Hoda Naguib, Mir...
ADIS
2001
14 years 11 months ago
A controlled experiment for corroborating the usefulness of class diagram metrics at the early phases of OO developments
The quality of class diagrams is critical because it has a great influence on the quality of the object oriented information system (OOIS) which are finally delivered. This fact mo...
Marcela Genero, José A. Olivas, Mario Piatt...
CIKM
2009
Springer
15 years 4 months ago
MKEM: a multi-level knowledge emergence model for mining undiscovered public knowledge
Background: Since Swanson proposed the Undiscovered Public Knowledge (UPK) model, there have been many approaches to uncover UPK by mining the biomedical literature. These earlier...
Ali Zeeshan Ijaz, Min Song, Doheon Lee
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
15 years 3 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
VOTEID
2007
Springer
15 years 3 months ago
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
Komminist Weldemariam, Adolfo Villafiorita, Andrea...