Integration of Use Case Formal Template Using Mapping Rules
The integration of use case and formal specification plays an essential role in addressing the issue of gaining the rigor and reliable software model such as formal model via easy and economic model such as object model. Although extensive research has been carried out on this Integration, howe...
| Main Authors: | Swee, Yin Wong, Edwin, Mit, Jonathan, Sidi |
|---|---|
| Format: | Proceeding |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/13658/ http://ir.unimas.my/id/eprint/13658/1/Integration%20of%20Use%20Case%20Formal%20Template%20using%20Mapping%20Rules%20%28abstract%29.pdf |
Similar Items
Formalize the Software Quality Measurement for Heterogeneous Requirements
by: Edwin, Mit, et al.
Published: (2015)
by: Edwin, Mit, et al.
Published: (2015)
Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017)
by: Aman, Hananni, et al.
Published: (2017)
Word Sense Disambiguation By Using Domain Knowledge
by: Wei, Jan Lee, et al.
Published: (2011)
by: Wei, Jan Lee, et al.
Published: (2011)
Development of images to braille conversion software for alphabets using template matching and rule based
by: Izzati Farrahiyah, Mazlan
Published: (2011)
by: Izzati Farrahiyah, Mazlan
Published: (2011)
Shortest path simulation using interactive SVG map
by: Jonathan, Sidi, et al.
Published: (2009)
by: Jonathan, Sidi, et al.
Published: (2009)
Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
by: Balsters, Herman, et al.
Published: (2016)
by: Balsters, Herman, et al.
Published: (2016)
Rule acquisition and complexity reduction in formal decision contexts
by: Shao, M., et al.
Published: (2014)
by: Shao, M., et al.
Published: (2014)
Integrate cultures and beliefs into genealogy software for remote communities in Borneo
by: Edwin, Mit, et al.
Published: (2012)
by: Edwin, Mit, et al.
Published: (2012)
Carbon nanotubes synthesis using alumina template
by: Buang, Nor Aziah, et al.
Published: (2005)
by: Buang, Nor Aziah, et al.
Published: (2005)
Firewall Redundancy Rules Filtering Using Integrity Rules Checking
by: Zarina, Dzolkhifli, et al.
Published: (2018)
by: Zarina, Dzolkhifli, et al.
Published: (2018)
The use and usefulness of Transdisciplinary Pedagogical Templates
by: Dobozy, Eva, et al.
Published: (2016)
by: Dobozy, Eva, et al.
Published: (2016)
Template synthesis of carbon nanotubules
by: Tee, Jia Chee, et al.
Published: (2007)
by: Tee, Jia Chee, et al.
Published: (2007)
Development of images to braille conversion software for symbols using template matching with rules base (images to editable text for debraillso)
by: Mohd Solahuddin, Jaafar
Published: (2011)
by: Mohd Solahuddin, Jaafar
Published: (2011)
Consistency rules between UML use case and activity diagrams using logical approach
by: Ibrahim, Noraini, et al.
Published: (2011)
by: Ibrahim, Noraini, et al.
Published: (2011)
Surface-integral formalism of deuteron stripping
by: Mukhamedzhanov, A., et al.
Published: (2014)
by: Mukhamedzhanov, A., et al.
Published: (2014)
IIUM car sticker recognition using phase based template matching algorithm
by: Gunawan, Teddy Surya, et al.
Published: (2011)
by: Gunawan, Teddy Surya, et al.
Published: (2011)
Biometric Template Protection Using Watermarking with Hidden Password Encryption
by: Islam, Md. Rajibul, et al.
Published: (2008)
by: Islam, Md. Rajibul, et al.
Published: (2008)
Software requirement analysis template with automation aided system
by: Azizan, Asyraf, et al.
Published: (2011)
by: Azizan, Asyraf, et al.
Published: (2011)
Template matching techniques for iris recognition system
by: Tania, Umme T., et al.
Published: (2014)
by: Tania, Umme T., et al.
Published: (2014)
On limitations of the Bruggeman formalism for inverse
homogenization
by: Jamaian, Siti S., et al.
Published: (2010)
by: Jamaian, Siti S., et al.
Published: (2010)
A Framework for Visualization of Geographical Information Data using Vector Format
by: Syahrul Nizam, Junaini, et al.
Published: (2007)
by: Syahrul Nizam, Junaini, et al.
Published: (2007)
Photon signature analysis using template matching.
by: Bradley, David Andrew, et al.
Published: (2011)
by: Bradley, David Andrew, et al.
Published: (2011)
Land use and land cover mapping using rule-based classification in Karbala city, Iraq
by: Ahmed, Ahmed Abdulkareem, et al.
Published: (2017)
by: Ahmed, Ahmed Abdulkareem, et al.
Published: (2017)
Refinement in integrated specifications of CSP-OZ
by: Azman Bujang, Masli, et al.
Published: (2015)
by: Azman Bujang, Masli, et al.
Published: (2015)
A conceptual map of tax rule change
by: Oats, Lynne, et al.
Published: (2011)
by: Oats, Lynne, et al.
Published: (2011)
Shared Single Display Application: An Interactive Patterns Approach
by: Cheah, Wai Shiang, et al.
Published: (2015)
by: Cheah, Wai Shiang, et al.
Published: (2015)
Framework for New Generation Web Form and Form Filling for Blind User
by: Kian, Kok Cheung, et al.
Published: (2011)
by: Kian, Kok Cheung, et al.
Published: (2011)
Iban language parser using rule based approach
by: Chia, Yong Seng
Published: (2010)
by: Chia, Yong Seng
Published: (2010)
Software requirement analysis template with automation aided system
by: A. Jabar, Marzanah, et al.
Published: (2012)
by: A. Jabar, Marzanah, et al.
Published: (2012)
Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system
by: Mohamad, Radziah, et al.
Published: (2001)
by: Mohamad, Radziah, et al.
Published: (2001)
Synthesis And Characterisation Of Calcium Phosphate Nanoshells Using DOPA and DPPA Liposome Templates
by: Yeo, Chiew Hwee
Published: (2012)
by: Yeo, Chiew Hwee
Published: (2012)
The interrelatedness of formal, non-formal and informal learning
by: Cameron, Roslyn, et al.
Published: (2012)
by: Cameron, Roslyn, et al.
Published: (2012)
Optical Character Recognition By Using Template Matching (Alphabet)
by: Nadira, Muda, et al.
Published: (2007)
by: Nadira, Muda, et al.
Published: (2007)
An Algorithm for Fingerprint Classification Using Template Matching Technique
by: Al-Kaissi, Ahmed Wathik Naji
Published: (2002)
by: Al-Kaissi, Ahmed Wathik Naji
Published: (2002)
Creating Structured PDF Files Using XML Templates
by: Hardy, Matthew, et al.
Published: (2004)
by: Hardy, Matthew, et al.
Published: (2004)
Biometric Template Protection using watermarking with hidden password encryption
by: Islam, Md. Rajibul, et al.
Published: (2008)
by: Islam, Md. Rajibul, et al.
Published: (2008)
FOTool: Modelling Indigenous Community Cultures in Sarawak
by: Mit, Edwin, et al.
Published: (2014)
by: Mit, Edwin, et al.
Published: (2014)
A boundary integral formalism for stochastic ray tracing in billiards
by: Chappell, David, et al.
Published: (2014)
by: Chappell, David, et al.
Published: (2014)
Formal analysis of weighted longitudinal routers network via scale-free network: a case study
by: Chandio, Fida Hussain, et al.
Published: (2015)
by: Chandio, Fida Hussain, et al.
Published: (2015)
Synthesize of nanoporous ceramic membrane with Bimodal pore size distribution using nanosized template.
by: Ahmad, Abdul Latif, et al.
Published: (2008)
by: Ahmad, Abdul Latif, et al.
Published: (2008)
Similar Items
-
Formalize the Software Quality Measurement for Heterogeneous Requirements
by: Edwin, Mit, et al.
Published: (2015) -
Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017) -
Word Sense Disambiguation By Using Domain Knowledge
by: Wei, Jan Lee, et al.
Published: (2011) -
Development of images to braille conversion software for alphabets using template matching and rule based
by: Izzati Farrahiyah, Mazlan
Published: (2011) -
Shortest path simulation using interactive SVG map
by: Jonathan, Sidi, et al.
Published: (2009)