Sciweavers

4799 search results - page 311 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ICSE
1993
IEEE-ACM
15 years 10 months ago
Automating the Detection of Reusable Parts in Existing Software
Wepresent a model based onan expert-systemapproach for the scavenging of reusable componentsfrom exis:ing software systems. We also describe a toolset called Code Miner that imple...
Michael F. Dunn, John C. Knight
EDBTW
2004
Springer
16 years 2 days ago
Index-Based Keyword Search in Mediator Systems
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...
Ingolf Geist
175
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
Providing support for creating next generation software architecture languages
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
Ivano Malavolta
SEKE
2005
Springer
16 years 4 days ago
Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
Miguel-Ángel Sicilia, Juan J. Cuadrado, Dan...
WORDS
2005
IEEE
16 years 7 days ago
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
Basit Shafiq, Ammar Masood, James Joshi, Arif Ghaf...