Tag specifications [72 articles] Export

Recent papers classified by the tag specifications.

	An axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580. by C. A. R. Hoare posted to specifications rules_of_inference hoare-logic formal_proof da cite-it by cyph3r on 2009-10-13 10:44:26 as along with 20 people and 6 groups thermostat bedieber robertjohnsimmons hdeyoung mattmight ddemange mrsmond michaelbanks jkominek leonardo rwtodd dsilva jff jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger ConcertRG Crypto GraphTheory pileWorks Foundations-of-Programming TMC
	Agent UML: A Formalism for Specifying Multiagent Interaction [My Copy] In in: Ciancarini, P.; Wooldridge, M. [Eds.], Agent-Oriented Software Engineering (2001), pp. 91-103. by Bernhard Bauer, Jörg P. Müller, James Odell, James O. Agent-Oriented posted to uml specifications interaction-theories interaction-protocols interaction-models contracts by Scis0000002 on 2009-10-06 19:01:41 as along with 1 person and 1 group emiliorp Security in SOA
	Identifying and measuring quality in a software requirements specification [My Copy] Software Metrics Symposium, 1993. Proceedings., First International In Software Metrics Symposium, 1993. Proceedings., First International (1993), pp. 141-152. by A. Davis, S. Overmyer, K. Jordan, et al.J. Caruso, F. Dandashi, A. Dinh, G. Kincaid, G. Ledeboer, P. Reynolds, P. Sitaram, A. Ta, M. Theofanos posted to specifications requirements reference quality models by asilva on 2009-09-15 17:28:17 as along with 1 person swatipendyala
	An automated approach to specification animation for validation [My Copy] Journal of Systems and Software, Vol. 80, No. 8. (August 2007), pp. 1271-1285. by S. Liu, H. Wang posted to animating diagrams specifications by Scis0000002 on 2009-07-07 19:24:31 as along with 1 person christiand
	Scenario-based requirements analysis [My Copy] Requirements Engineering, Vol. 3, No. 1. (16 March 1998), pp. 48-65. by Alistair Sutcliffe posted to activities all-possible-interactions automatons behavioral-equations behavioral-models behavioral-spaces behavioral-specifications configurations contracts domain-models domain-theories exchange-theory goals intentions interactions lattice-of-situations marketing requirements scenarios sequences situations software-development specifications transformability use-cases by Scis0000002 on 2009-07-07 16:32:37 as along with 1 person christiand
	Product platforming for a global marketplace [My Copy] Journal of Engineering Design, Vol. 19, No. 6. (2008), pp. 461-463. posted to all-possible-brands all-possible-markets all-possible-products brands companies enterprises entropies environments financeability global globalization human-development hyper-economy hyperefficiency hyperstructures infrastructures local localization markets metaeconomics platforms populations populations-of-enterprises populations-of-products populations-of-strategies portfolios product-development product-models product-theories products profitability specifications strategic-spaces technologies transformability by Scis0000002 on 2009-05-08 09:32:19 as along with 1 person and 3 groups jago RFID deployment Patent_Reform e-maintenance
	Towards Formal Modeling of e-Contracts [My Copy] In EDOC '01: Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing (2001), 59. by Olivera Marjanovic, Zoran Milosevic posted to contract-development contracts formal-contracts formal-methods logical-frameworks specifications by Scis0000002 on 2009-04-28 12:39:45 as
	On Expressing and Monitoring Behaviour in Contracts [My Copy] In In proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC2000 (2002), pp. 3-14. by Z. Milosevic, R. G. Dromey posted to behaving behaviours contracting contracts control-models monitoring specifications by Scis0000002 on 2009-04-28 12:33:53 as
	Incomplete Contracts: Where do We Stand? [My Copy] Econometrica, Vol. 67, No. 4. (1999), pp. 741-781. by Jean Tirole posted to behavior-spaces contract-models contract-theories contracting contracting-theories contracts contractual-frameworks contractual-models contractual-theories deciding derivatives incomplete-contracts incompleteness interactivity jurstice-theories justice-frameworks negotiating paraconsistency probability-theory reconstructing specifications uncertainty by Scis0000002 on 2009-04-05 21:31:36 as
	Pretty-printing of Visual Sentences [My Copy] Visual Languages, IEEE Symposium on, Vol. 0 (23-26 September 1997), 242. by T. B. Dinesh, S. M. Uskudarli posted to algebraic formal languages pretty printing specifications visual by uskudarli on 2009-04-05 18:39:13 as
	Share-where maintenance in visual algebraic specifications [My Copy] Advances in Computing Science — ASIAN'97 In Advances in Computing Science — ASIAN'97 (1997), pp. 297-311. by T. Dinesh, Susan Üsküdarli posted to algebraic languages layout specifications visual by uskudarli on 2009-04-05 18:03:54 as
	Input and output for specified visual languages [My Copy] In Visual Language Theory (1998), pp. 325-351. by T. B. Dinesh, S. Uskudarli edited by K. Marriott, B. Meyer posted to algebraic formal languages specifications visual by uskudarli on 2009-04-05 17:33:01 as
	On the similarity between requirements and architecture☆ [My Copy] Journal of Systems and Software (17 November 2008) by R. Deboer, H. Vanvliet posted to analysis architecture design problemframes requirements specifications by asilva on 2009-03-23 11:56:14 as along with 4 people and 1 group buchgeher patveck leonardo marcia Global Enterprise Architecture Community
	Norms, Institutional Power and Roles: Towards a Logical Framework [My Copy] Foundations of Intelligent Systems (2006), pp. 514-523. by Robert Demolombe, Vincent Louis posted to architectures constitutions institutional-frameworks institutions justice-frameworks justice-structures legal-frameworks logical-frameworks monopolies normative-architectures normative-frameworks normative-structures order-structures power power-theories specifications by Scis0000002 on 2009-02-16 12:56:33 as
	Specifying software specification & design methods [My Copy] Advanced Information Systems Engineering (1994), pp. 353-366. by Motoshi Saeki, Kuo Wenyin posted to design method software specifications by RWeiss on 2008-10-29 03:14:17 as along with 1 person trickyDick
	Weaving multiple viewpoint specifications in goal oriented requirements analysis [My Copy] Software Engineering Conference, 2004. 11th Asia-Pacific (2004), pp. 418-427. by H. Kaiya, M. Saeki posted to analysis goal-oriented requirements specifications viewpoints weavering by RWeiss on 2008-10-29 03:11:22 as along with 1 person ebrahim_bagheri
	Supporting tool for assembling software specification and design methods [My Copy] Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International In Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International (2000), pp. 419-428. by M. Saeki, M. Tsuchida, K. Nishiue posted to design method software specifications tools by RWeiss on 2008-10-29 03:08:36 as
	Behavioral specification of GOF design patterns with LOTOS [My Copy] Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific In Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific (2000), pp. 408-415. by M. Saeki posted to behavior gof lotos pattern specifications by RWeiss on 2008-10-29 02:58:09 as along with 1 person klinsz
	An MDA approach to Access Control Specifications Using MOF and UML Profiles [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004), Vol. 142 (3 January 2006), pp. 161-179. by Torsten Fink, Manuel Koch, Karl Pauls posted to architecture mda mdd mdsd model-driven mof profiles specifications uml by RWeiss on 2008-10-24 06:26:30 as along with 1 person emiliorp
	Model-Driven Consistency Checking of Behavioural Specifications [My Copy] Model-Based Methodologies for Pervasive and Embedded Software, 2007. MOMPES '07. Fourth International Workshop on In Model-Based Methodologies for Pervasive and Embedded Software, 2007. MOMPES '07. Fourth International Workshop on (2007), pp. 115-126. by Bas Graaf, Arie van Deursen posted to behavior consistency mda mdd mdsd model-driven r1 specifications by RWeiss on 2008-10-24 05:51:36 as along with 1 person leonardo
	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures (Lecture Notes in Computer Science) [My Copy] (28 May 2002) by Roland Backhouse, Roy Crole, Jeremy Gibbons posted to algebraic-methods algebraicity category-of-specifications coalgebraic-methods coalgebraicity formal-methods functional-programming specification specifications by Scis0000002 on 2008-09-13 16:35:46 as along with 1 person DavidChemouil
	On the Role of Category Theory in the Area of Algebraic Specification [My Copy] In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48. by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter posted to algebraic-methods algebraicity formal-methods specifications by Scis0000002 on 2008-09-07 10:07:43 as along with 1 person scis0000001
	Automatic generation of program specifications [My Copy] In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002), pp. 229-239. by Jeremy W. Nimmer, Michael D. Ernst posted to automatic cite-it da project-planning specifications by cyph3r on 2008-08-24 19:40:23 as
	Automatic Generation of Software Test Cases from Formal Specifications [My Copy] (1998) by Christophe Meudec posted to automatic da project-planning specifications test-data-generation torkar-thesis by cyph3r on 2008-08-14 13:45:58 as
	Generating test data from state-based specifications [My Copy] Software Testing, Verification and Reliability, Vol. 13, No. 1. (2003), pp. 25-53. by Jeff Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann posted to project-planning specifications state test-data-generation by cyph3r on 2008-08-06 17:44:20 as
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to abstract-model-theory category-of-specifications formal-development logical-frameworks specification specifications by Scis0000002 on 2008-06-22 02:15:38 as along with 9 people and 2 groups mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 masteraka marcinzalewski ConcertRG Rightscom
	Automatic generation of test scripts from formal test specifications [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 14, No. 8. (December 1989), pp. 210-218. by M. Balcer, W. Hasling, T. Ostrand posted to automated automatic automation generation scripts specifications test testing by joaoarthurbm on 2008-04-02 15:10:01 as
	A Uniform Model Theory for the Speci [My Copy] by Cation O. Data posted to algebraic-theories specification specifications by Scis0000002 on 2008-04-01 11:46:49 as along with 1 person scis0000001
	Static Consistency Checking for Distributed Specifications [My Copy] In ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering (2001) by Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein posted to consistency dsl software-engineering specifications by jfischer on 2008-02-28 18:59:44 as
	A Comparison of XML Interchange Formats for Business Process Modelling [My Copy] (2004) by J. Mendling, N. Uttgens, M. Neumann posted to 15 bpm comparison of specifications by karimda on 2008-02-11 14:48:46 as along with 1 person knowledge01
	Software Requirements And Specifications (Acm Press Books) [My Copy] (23 August 1995) by M. Jackson posted to requirements specifications by aku8000 on 2007-11-01 12:06:01 as along with 5 people chrishmorris pnpo michaelbanks bkohler leonardo
	Extraction of Structured Programs from Specification Proofs [My Copy] In Workshop on Algebraic Development Techniques (1999), pp. 419-437. by John N. Crossley, Iman Poernomo, Martin Wirsing posted to program-extraction specification specifications by Scis0000002 on 2007-10-31 20:06:30 as
	Requirement progression in problem frames: deriving specifications from requirements [My Copy] Requirements Engineering, Vol. 12, No. 2. (April 2007), pp. 77-102. by Robert Seater, Daniel Jackson, Rohit Gheyi posted to problemframes requirements specifications by asilva on 2007-10-22 09:27:48 as along with 2 people leonardo pnpo
	The Specification of Agent Behavior by Ordinary People: A Case Study [My Copy] The Semantic Web – ISWC 2004 (2004), pp. 182-197. by Luke Mcdowell, Oren Etzioni, Alon Halevy posted to abilities behavioral-equations behavioral-spaces behavioral-theories end-user-programming robots specifications virtual-robots by Scis0000002 on 2007-09-16 16:13:27 as
	Discovering Algebraic Specifications from Java Classes [My Copy] In ECOOP 2003 - Object-Oriented Programming, 17th European Conference (July 2003) by Johannes Henkel, Amer Diwan edited by Luca Cardelli posted to discovering discovery formal-methods ilp reconstructing reconstruction reengineering rewriting specification specifications by Scis0000002 on 2007-08-30 18:37:15 as
	Modularisation and Composition of Aspectual Requirements [My Copy] (2003) by A. Rashid, A. Moreira, J. Araujo posted to category-of-specifications compositionality formal-development goals modularity modularization requirement requirements separation-of-concerns specifications by Scis0000002 on 2007-08-24 15:37:37 as along with 2 people yijunyu scis0000001
	On Presentations of Algebraic Structures [My Copy] In Complexity, Logic, and Recursion Theory, Marcel Dekker, Inc. (1997) by Downey posted to algebraic-structures algebraic-theories presentability presentation presentations specifications by Scis0000002 on 2007-08-02 14:28:04 as along with 1 person scis0000001
	Normative systems and their revision: an algebraic approach [My Copy] Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104. by Lars Lindahl, Jan Odelstad posted to algebraic algebraic-justice algebraic-justice-theories algebraic-legal-theories algebraic-methods algebraic-theories algebraicity category-of-normative-systems category-of-specifications category-of-theories coalgebraic-methods combination computational-justice-sciences computational-legal-sciences control-systems emergence evolution formal-justice-sciences formal-legal-sciences formal-methods formal-theories fractality heterogeneous-theories hierarchy-of-legal-frameworks hierarchy-of-normative-systems hyperplanes justice-frameworks justice-infrastructures justices lattice-of-frameworks lattice-of-legal-frameworks lattice-of-norms lattice-of-specifications lattice-of-theories legal-frameworks logical-frameworks mathematical-justice metalogical-frameworks normative-structures normative-systems norms order-structures regulative-architectures regulative-infrastructures regulative-models regulative-structures regulative-systems regulative-theories resilience rules specification specifications survivability by Scis0000002 on 2007-06-21 17:51:31 as along with 2 people fdechesn hipcathobbes
	A study in the foundations of programming methodology: specifications, institutions, charters and parchments [My Copy] In Proceedings of a tutorial and workshop on Category theory and computer programming (1986), pp. 313-333. by J. A. Goguen, R. M. Burstall posted to category-theory charters iff institutions logics managed-logic metalogics metascience parchments programming specifications by scis0000001 on 2006-12-30 21:54:09 as
	Systematic formulation of non-functional characteristics of software [My Copy] Requirements Engineering, 1998. Proceedings. 1998 Third International Conference on (1998), pp. 174-181. by X. Franch posted to nfr specifications by asilva on 2006-09-08 10:13:20 as
	Requirements & Specification Exemplars [My Copy] Automated Software Engineering, Vol. 4 (1997), pp. 419-438. by Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde posted to examples reference requirements specifications by asilva on 2006-09-08 10:03:48 as
	A process framework for requirements analysis and specification [My Copy] Requirements Engineering, 2000. Proceedings. 4th International Conference on (2000), pp. 27-35. by Garcia, A. Monzon posted to process requirements specifications by asilva on 2006-09-08 09:52:49 as
	Requirements, domains and specifications: a viewpoint-based approach to requirements engineering [My Copy] ICSE 2002. Proceedings of the 24rd International Conference on Software Engineering In ICSE 2002. Proceedings of the 24rd International Conference on Software Engineering (2002), pp. 94-104. by A. Silva posted to conflicts inconsistencies requirements specifications viewpoints wsr by asilva on 2006-09-08 09:03:11 as
	Inconsistency handling in multiperspective specifications [My Copy] IEEE Transactions on Software Engineering, Vol. 20, No. 8. (October 1994), pp. 569-578. by A. C. W. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh posted to inconsistency perspectives specifications by yijunyu on 2006-04-24 17:33:35 as along with 1 person neilernst
	Teaching problem solving in an introductory computer science class [My Copy] In SIGCSE '81: Proceedings of the twelfth SIGCSE technical symposium on Computer science education, Vol. 13, No. 1. (February 1981), pp. 244-251. by David D. Riley posted to computer course definition design engineering introductory io problem programming pseudo-instruction refinement science software solving specifications stepwise structured top-down by markakramer on 2005-12-06 10:29:45 as
	On the use of visualization in formal requirements specification [My Copy] Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on (2002), pp. 71-80. by N. Dulac, T. Viguier, N. Leveson, M. A. Storey posted to requirements specifications visualization by asilva on 2005-10-28 14:57:05 as along with 5 people silberbauer neilernst marcia mayankmunish gkontos
	Integrated safety analysis of requirements specifications [My Copy] Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on (1997), pp. 148-159. by F. Modugno, N. G. Leveson, J. D. Reese, K. Partridge, S. D. Sandys posted to analysis requirements safety specifications by asilva on 2005-08-15 12:59:40 as
	Requirements-based monitors for real-time systems [My Copy] Software Engineering, IEEE Transactions on, Vol. 28, No. 2. (2002), pp. 146-158. by D. K. Peters, D. L. Parnas posted to formal real-time requirements specifications by asilva on 2005-08-15 12:48:57 as
	Analyzing Software Specifications for Mode Confusion Potential [My Copy] In Workshop on Human Error and Systems Development (March 1997) by N. Leveson, L. D. Pinnell, S. D. Sandys, S. Koga, J. D. Reese posted to hf safety software specifications vv by asilva on 2005-08-15 12:30:54 as along with 1 person bjoernappel
	Intent specifications: an approach to building human-centered specifications [My Copy] Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (2000), pp. 15-35. by N. G. Leveson posted to engineering formal hf specifications techniques by asilva on 2005-08-15 12:28:27 as

Note: You may cite this page as: http://www.citeulike.org/tag/specifications

Result page: 1 2 Next

requirements	31
software	20
safety	14
analysis	10
formal	9
engineering	8
da	6
project-planning	6
specification	6
automatic	5
contracts	5
formal-methods	5
viewpoints	5
vv	5
algebraic	4
category-of-specifications	4
cite-it	4
design	4
logical-frameworks	4
techniques	4
test-data-generation	4
algebraic-methods	3
algebraic-theories	3
algebraicity	3
hf	3
justice-frameworks	3
languages	3
models	3
reference	3
reporting	3
visual	3
architecture	2
behavior	2
behavioral-equations	2
behavioral-spaces	2
coalgebraic-methods	2
consistency	2
contracting	2
forensic	2
formal-development	2
formal_proof	2
goals	2
hazards	2
hci	2
hoare-logic	2
institutions	2
legal-frameworks	2
management	2
mda	2
mdd	2
mdsd	2
method	2
methods	2
model-driven	2
normative-structures	2
order-structures	2
problem	2
problemframes	2
programming	2
reconstructing	2
rules_of_inference	2
state	2
tools	2
torkar-thesis	2
traceability	2
transformability	2
uml	2
wsr	2
airs	1
algebraic-legal-theories	1
behavioral-models	1
brands	1
conceptualization	1
contracting-theories	1
contractual-models	1
control-systems	1
emergence	1
formal-contracts	1
hyper-economy	1
incomplete-contracts	1
introductory	1
lattice-of-frameworks	1
layout	1
metalogical-frameworks	1
metascience	1
mof	1
monitoring	1
perspectives	1
portfolios	1
power	1
presentability	1
products	1
quality	1
reconstruction	1
regulative-infrastructures	1
regulative-models	1
regulative-systems	1
satellite	1
top-down	1
visualization	1

Tag specifications [72 articles] Export

Related Tags