Sciweavers

3357 search results - page 123 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
APSEC
2006
IEEE
15 years 8 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
JOT
2008
137views more  JOT 2008»
15 years 6 months ago
Extension of Object-Oriented Software Testing Techniques to Agent Oriented Software Testing
In recent years, agent-based systems have received considerable attention in both academics and industry. The agent-oriented paradigm can be considered a natural extension to the ...
Praveen Ranjan Srivastava, Karthik Anand V, Mayuri...
RE
2007
Springer
16 years 15 days ago
The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
Norbert Seyff, Florian Graf, Paul Grünbacher,...
WSC
2007
15 years 8 months ago
From domain ontologies to modeling ontologies to executable simulation models
Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...
Gregory A. Silver, Osama Al-Haj Hassan, John A. Mi...
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha