Ładuje się......
Formalizing the use case model: A model-based approach
In general, requirements expressed in natural language are the first step in the software development process and are documented in the form of use cases. These requirements can be specified formally using some precise mathematical notation (e.g. Linear Temporal Logic (LTL), Computational Tree Logic...
Zapisane w:
| Wydane w: | PLoS One |
|---|---|
| Główni autorzy: | , , |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Public Library of Science
2020
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7170234/ https://ncbi.nlm.nih.gov/pubmed/32310952 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1371/journal.pone.0231534 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|