//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~subject:"Spec Explorer"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Explorer"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
Spec Explorer
Explorer
2
Internet
2
ACO
1
ASX
1
Active Directory
1
Adaptation operator
1
Africa
1
Afrika
1
Beispielsammlung
1
Betriebssystem
1
Business logic layer
1
Business start-up
1
CD-ROM
1
Chief Explorer®
1
City Explorers®
1
Collective human resources
1
Configuration Manager
1
Continuous ant algorithm
1
Delhi Walks®
1
Economic History
1
Economic history
1
Energy configurations and trajectories
1
Energy leadership
1
Energy pattern explorer strategy tool
1
Entrepreneurship
1
Entrepreneurship approach
1
Environment
1
Equity funding
1
Exploration
1
Explorer ants
1
FSM Models
1
Firefox
1
Ford Explorer rollover
1
GUI testing
1
Gestaltung
1
ICW™
1
India
1
India City Walks™
1
Indien
1
more ...
less ...
Online availability
All
Free
2
Type of publication
All
Article
2
Type of publication (narrower categories)
All
Congress Report
1
Language
All
Undetermined
2
Author
All
AL-EMARI, Salam
1
ALSMADI, Izzat Mahmoud
1
Nguyen, Duc Hoai
1
Strooper, Paul
1
Suess, Jorn Guy
1
Published in...
All
Informatica Economica
1
Source
All
BASE
1
RePEc
1
Showing
1
-
2
of
2
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Using Spec
Explorer
for Automatic Checking of Constraints in Software €Controlled Systems.
AL-EMARI, Salam
;
ALSMADI, Izzat Mahmoud
- In:
Informatica Economica
15
(
2011
)
3
,
pp. 1-14
Explorer
from Microsoft for defining and checking examples of software controlled system such as cruise control. Such formal …
Persistent link: https://www.econbiz.de/10009416700
Saved in:
2
Model-based testing of multiple GUI variants using GUI test generator
Nguyen, Duc Hoai
;
Strooper, Paul
;
Suess, Jorn Guy
-
2010
testing tools like Spec
Explorer
while the presentation logic is recorded by a capture/replay tool. The two parts are …
Persistent link: https://www.econbiz.de/10009448700
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->