Sciweavers

897 search results - page 107 / 180
» Reuse, Validation and Verification of System Development Pro...
Sort
View
CLEIEJ
2002
192views more  CLEIEJ 2002»
13 years 7 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
ACSC
2004
IEEE
13 years 11 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
ITCC
2005
IEEE
14 years 1 months ago
Analyzing Relations among Software Patterns based on Document Similarity
In software development, many kinds of knowledge are shared and reused as software patterns. Howevel; the relation analysis among software by hand is on the large scale. In this w...
Atsuto Kubo, Hironori Washizaki, Atsuhiro Takasu, ...
ECTEL
2007
Springer
14 years 1 months ago
Resolving Variations in Learning Spaces for Experiential Learning
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
Eric Ras
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
14 years 1 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens