Sciweavers

22698 search results - page 207 / 4540
» Modeling in Software Engineering
Sort
View
125
Voted
SIGSOFT
1998
ACM
15 years 8 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
REFSQ
2007
Springer
15 years 10 months ago
Imperfect Requirements in Software Development
Requirement Specifications are very difficult to define. Due to lack of information and differences in interpretation, software engineers are faced with the necessity to redesign a...
Joost Noppen, Pim van den Broek, Mehmet Aksit
COMPSAC
2006
IEEE
15 years 9 months ago
Global Software Enterpreneurship
With the globalization of markets and the creation of software to address these markets, educators face new curriculum challenges. They must expose students not only to core scien...
Venu Vasudevan
FATES
2005
Springer
15 years 9 months ago
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. ...
SOCO
2008
Springer
15 years 3 months ago
Superimposition: A Language-Independent Approach to Software Composition
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
Sven Apel, Christian Lengauer